popovicu / zig-time-sharing-kernelLinks
Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
☆198Updated 3 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:
- ☆173Updated 3 months ago
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated 3 weeks ago
- Framework of Operating System Development☆108Updated last year
- The Xr0 Verifier for C☆179Updated 8 months ago
- Emulador Genérico do Gabriel☆88Updated 6 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 4 months ago
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆248Updated last week
- An experimental modern general-purpose microkernel OS.☆425Updated 2 months ago
- Compiling C to FlipJump☆96Updated 11 months ago
- 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"☆196Updated 9 months ago
- A x86 Unix-like OS made entirely from scratch☆273Updated 2 months ago
- A toy programming language I wrote in late 2022☆25Updated last year
- xv6 OS☆246Updated 3 months ago
- A Simple Virtual Computer☆350Updated 4 months ago
- My WebAssembly VM☆75Updated last week
- A type-safe C successor that compiles directly to various platforms.☆139Updated 7 months ago
- Writing a hypervisor in 1,000 lines.☆279Updated 3 months ago
- Minimalist, dependency-free virtual machine sandbox for microcontrollers and other resource-constrained devices. Single C file, no dynami…☆571Updated last week
- Disk Based Key-Value Store Inspired by Bitcask☆198Updated 6 months ago
- Injects code into an ELF file☆52Updated 5 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆798Updated 6 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆239Updated last year
- Tensor library & inference framework for machine learning☆117Updated 2 months ago
- Xv6 for RISC-V with Networking☆127Updated 4 months ago
- 🌊 A lightning-fast, lightweight, and secure HTML/CSS engine☆306Updated last month
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆361Updated this week
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆62Updated 3 months ago
- ☆78Updated 5 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 4 months ago