popovicu / zig-time-sharing-kernelLinks
Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
☆202Updated 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:
- ☆176Updated 4 months ago
- Framework of Operating System Development☆108Updated last year
- A second iteration of the (to be) DOS-friendly hobby OS.☆204Updated this week
- The Xr0 Verifier for C☆208Updated 9 months ago
- A minimal OS implemented following "Operating system in 1000 lines of code"☆199Updated 10 months ago
- A repository of all code from Introduction to System Programming in Linux, by Stewart Weiss☆411Updated last month
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆251Updated 3 weeks ago
- xv6 OS☆245Updated 4 months ago
- Emulador Genérico do Gabriel☆89Updated 7 months ago
- Compiling C to FlipJump☆96Updated last year
- My WebAssembly VM☆75Updated last week
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆59Updated last year
- ☆433Updated 2 weeks ago
- A Simple Virtual Computer☆350Updated 5 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆238Updated 2 years ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 5 months ago
- Disk Based Key-Value Store Inspired by Bitcask☆199Updated 7 months ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆233Updated 2 years ago
- A x86 Unix-like OS made entirely from scratch☆274Updated 3 months ago
- LD_PRELOADable library for exploring the glibc heap☆108Updated 11 months ago
- HPC research and demonstrations☆113Updated last month
- 💾 A tiny and mighty boot sector OS☆259Updated 9 months ago
- Tensor library & inference framework for machine learning☆117Updated 4 months ago
- framebuffer user interface☆300Updated 8 months ago
- Writing a hypervisor in 1,000 lines.☆295Updated 4 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆800Updated 7 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- ☆78Updated 7 months ago
- A toy programming language I wrote in late 2022☆27Updated last year
- Xv6 for RISC-V with Networking☆128Updated 5 months ago