IanSeyler / rustboot64Links
A tiny 64 bit kernel written in Rust
☆51Updated 10 years ago
Alternatives and similar repositories for rustboot64
Users that are interested in rustboot64 are comparing it to the libraries listed below
Sorting:
- Utility for accessing a disk formatted with BMFS☆52Updated 8 months ago
- This is a minimal x86 OS written in D with both 32 bit and 64 bit configurations. It's a good starting place for anyone doing D OS develo…☆40Updated 16 years ago
- Yet another tiny and unfinished x86/ARM kernel☆81Updated 9 years ago
- A concurrent-focused message-based operating system.☆95Updated last month
- A module for freestanding Rust programs☆247Updated 12 years ago
- Unix kernel in rust☆98Updated 11 years ago
- A multi-platform kernel written in Rust☆61Updated 7 years ago
- EFI applications in Rust☆207Updated 11 years ago
- A multi-platform kernel written in Rust☆201Updated 10 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/book☆105Updated this week
- a simple x86 kernel, extended with Rust☆227Updated 3 years ago
- Modular kernel built for simplicity☆94Updated 8 years ago
- Acess2 Hobby Operating System☆91Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/libc☆15Updated 5 years ago
- An operating system.☆30Updated 8 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader☆56Updated this week
- A language-based OS to run Rust on bare metal☆86Updated 9 years ago
- A minimalist IP stack written in ANSI C.☆53Updated 6 months ago
- A tiny 32 bit kernel written in Rust, for fun☆194Updated 8 years ago
- Tetris for x86 in bad C. Succeeded by Tetrasm.☆64Updated 10 years ago
- A simple bootloader for linux kernel☆25Updated 12 years ago
- adams and eriks nix☆122Updated 8 years ago
- The Stupid Operating System☆274Updated 7 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated last year
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 6 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆66Updated last month
- A guide to hobbyist operating systems☆62Updated 7 years ago
- Tetris for x86 in NASM☆128Updated 7 years ago
- Akaros Operating System☆327Updated 3 years ago
- A custom kernel for x86 based on tutorial from http://www.osdever.net/bkerndev/Docs/intro.htm☆31Updated 14 years ago