popovicu / zig-time-sharing-kernelLinks
Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
☆200Updated 4 months ago
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:
- ☆174Updated 3 months ago
- A second iteration of the (to be) DOS-friendly hobby OS.☆201Updated last month
- The Xr0 Verifier for C☆207Updated 9 months ago
- Framework of Operating System Development☆108Updated last year
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆249Updated this week
- A minimal OS implemented following "Operating system in 1000 lines of code"☆197Updated 10 months ago
- HPC research and demonstrations☆113Updated last month
- An experimental modern general-purpose microkernel OS.☆430Updated 3 months ago
- xv6 OS☆246Updated 3 months ago
- Compiling C to FlipJump☆96Updated last year
- A repository of all code from Introduction to System Programming in Linux, by Stewart Weiss☆394Updated 2 weeks ago
- Emulador Genérico do Gabriel☆88Updated 7 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆210Updated 5 months ago
- Injects code into an ELF file☆52Updated 5 months ago
- A x86 Unix-like OS made entirely from scratch☆273Updated 2 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 4 months ago
- My WebAssembly VM☆75Updated this week
- A toy programming language I wrote in late 2022☆25Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated last year
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆63Updated this week
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆799Updated 6 months ago
- 💾 A tiny and mighty boot sector OS☆258Updated 8 months ago
- Writing a hypervisor in 1,000 lines.☆290Updated 4 months ago
- ☆78Updated 6 months ago
- Topological sort library in Zig☆97Updated last month
- A type-safe C successor that compiles directly to various platforms.☆139Updated 8 months ago
- Xv6 for RISC-V with Networking☆127Updated 4 months ago
- A Simple Virtual Computer☆349Updated 4 months ago
- A proof-of-concept smart pointer library in C☆22Updated 7 years ago