Popular repositories Loading

1. Theseus Theseus Public

   Forked from theseus-os/Theseus

   Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

   Rust

2. redox redox Public

   Forked from redox-os/redox

   Mirror of https://gitlab.redox-os.org/redox-os/redox

   Shell

3. tock tock Public

   Forked from tock/tock

   A secure embedded operating system for microcontrollers

   Rust

4. blog_os blog_os Public

   Forked from phil-opp/blog_os

   Writing an OS in Rust

   HTML

5. rust-raspberrypi-OS-tutorials rust-raspberrypi-OS-tutorials Public

   Forked from rust-embedded/rust-raspberrypi-OS-tutorials

   📚 Learn to write an embedded OS in Rust 🦀

   Rust

6. rCore rCore Public

   Forked from rcore-os/rCore

   Rust version of THU uCore OS. Linux compatible.

   Rust