dancrossnyc / rxv64Links
xv6 OS
☆245Updated 2 months ago
Alternatives and similar repositories for rxv64
Users that are interested in rxv64 are comparing it to the libraries listed below
Sorting:
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆231Updated 2 years ago
- A second iteration of the (to be) DOS-friendly hobby OS.☆203Updated last week
- The R9 operating system☆773Updated last month
- An experimental modern general-purpose microkernel OS.☆418Updated last month
- The Xr0 Verifier for C☆180Updated 7 months ago
- A mini x86-64 assembler for fun and learning.☆221Updated 8 months ago
- A x86_64 Linux debugger 🐛🐛🐛☆239Updated last year
- Logo language in 508 bytes (x86 boot sector)☆181Updated last year
- Tiny C++ boot loader☆82Updated 2 years ago
- An Operating System for Building Small Computers☆298Updated 10 months ago
- Contents from SunOS 4.1.3 SUNSRC CD-ROM☆183Updated 4 years ago
- State of the art for unikernels☆221Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆189Updated 2 weeks ago
- A simple C coroutine library.☆227Updated last year
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- A mirror of TinyBIOS repository☆312Updated 3 weeks ago
- Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI☆191Updated 2 months ago
- A minimal TCP/IP stack☆528Updated last year
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆208Updated 3 months ago
- Simple examples of Assembly code for the Apple Silicon (M1) CPU☆88Updated 2 months ago
- A tiny x86_64 kernel written in Rust.☆82Updated 3 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆41Updated 4 years ago
- The Adventures of OS☆563Updated 3 years ago
- The first C compiler ported to x86☆196Updated 4 years ago
- A Lisp interpreter written fully in rust macros.☆282Updated last year
- A toy operating system written in Rust on RISC V(rv32im)☆209Updated 2 years ago
- The Xous microkernel☆606Updated this week
- A portable self-bootstrapping C compiler☆179Updated last week
- Battery info program for x86-64 Linux laptops in 384 bytes of machine code☆60Updated last year
- Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions☆183Updated 9 months ago