popovicu / zig-time-sharing-kernelLinks
Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
☆176Updated last month
Alternatives and similar repositories for zig-time-sharing-kernel
Users that are interested in zig-time-sharing-kernel are comparing it to the libraries listed below
Sorting:
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated 3 weeks ago
- ☆168Updated last month
- The Xr0 Verifier for C☆178Updated 6 months ago
- Framework of Operating System Development☆107Updated last year
- An experimental modern general-purpose microkernel OS.☆405Updated last week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆208Updated 2 months ago
- HPC research and demonstrations☆101Updated last week
- Emulador Genérico do Gabriel☆87Updated 4 months ago
- Compiling C to FlipJump☆94Updated 9 months ago
- xv6 OS☆246Updated last month
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- A minimal OS implemented following "Operating system in 1000 lines of code"☆184Updated 7 months ago
- Injects code into an ELF file☆52Updated 2 months ago
- My little WebAssembly interpreter☆75Updated last month
- ☆77Updated 3 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- Xv6 for RISC-V with Networking☆121Updated 2 months ago
- Writing a hypervisor in 1,000 lines.☆261Updated last month
- A Simple Virtual Computer☆351Updated 2 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆785Updated 4 months ago
- 💾 A tiny and mighty boot sector OS☆255Updated 5 months ago
- Tensor library & inference framework for machine learning☆113Updated 3 weeks ago
- A x86_64 Linux debugger 🐛🐛🐛☆237Updated last year
- A type-safe C successor that compiles directly to various platforms.☆139Updated 5 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- A small, portable, linear probing hash map☆144Updated 7 months ago
- A toy programming language I wrote in late 2022☆24Updated last year
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆61Updated last month
- An optimizing compiler for a large subset of the C programming language☆26Updated last month