Popular repositories Loading

1. metatraits.github.io metatraits.github.io Public

2. uefi-bootloader uefi-bootloader Public

   Forked from theseus-os/uefi-bootloader

   Rust

3. 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 to maximally leverage the power of language safety and …

   Rust

4. tock tock Public

   Forked from tock/tock

   A secure embedded operating system for microcontrollers

   Rust

5. sos-os sos-os Public

   Forked from sos-os/kernel

   The Stupid Operating System

   Rust

6. RISCV-VCU118 RISCV-VCU118 Public

   Forked from kkangle/RISCV-VCU118

   A synthesizable version of RISCV on VCU118

   VHDL