popovicu / zig-time-sharing-kernelLinks
Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
☆192Updated 2 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:
- ☆172Updated 2 months ago
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated last week
- Framework of Operating System Development☆108Updated last year
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆242Updated this week
- The Xr0 Verifier for C☆180Updated 7 months ago
- Emulador Genérico do Gabriel☆87Updated 5 months ago
- Compiling C to FlipJump☆95Updated 10 months ago
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆209Updated 3 months ago
- A minimal OS implemented following "Operating system in 1000 lines of code"☆191Updated 8 months ago
- A toy programming language I wrote in late 2022☆25Updated last year
- An experimental modern general-purpose microkernel OS.☆423Updated last month
- ☆78Updated 5 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆793Updated 5 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
- xv6 OS☆246Updated 2 months ago
- A x86 Unix-like OS made entirely from scratch☆271Updated last month
- A Simple Virtual Computer☆350Updated 3 months ago
- My little WebAssembly interpreter☆75Updated this week
- 💾 A tiny and mighty boot sector OS☆257Updated 7 months ago
- A small, portable, linear probing hash map☆144Updated 8 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆239Updated last year
- Tensor library & inference framework for machine learning☆114Updated 2 months ago
- Disk Based Key-Value Store Inspired by Bitcask☆198Updated 5 months ago
- Logo language in 508 bytes (x86 boot sector)☆181Updated last year
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 months ago
- a minimal memory allocator in C☆102Updated 2 weeks ago
- 🌊 A lightning-fast, lightweight, and secure HTML/CSS engine☆306Updated last week
- A modular web framework for C, inspired by kernel modules. Dynamically upload and compile C code at runtime to build REST APIs, WebSocket…☆206Updated 2 weeks ago
- Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundame…☆338Updated 3 years ago