Popular repositories Loading

1. seL4Doom seL4Doom Public

   Doom ported to the seL4 microkernel

   C 7 1

2. R4 R4 Public

   Experimental microkernel written in Rust

   Rust 2

3. rust-multiboot rust-multiboot Public

   Forked from gz/rust-multiboot

   Multiboot library written in rust.

   Rust

4. prototty prototty Public

   Forked from gridbugs/chargrid

   Library for rapid prototyping of terminal UIs

   Rust

5. uefi-rs uefi-rs Public

   Forked from rust-osdev/uefi-rs

   Rust wrapper for UEFI.

   Rust

6. uefi-example uefi-example Public

   Example UEFI application in rust

   Rust