Popular repositories Loading

1. daydream daydream Public

   DayDream BBS for UNIX

   C 10 3

2. sel4cp sel4cp Public

   Forked from Ivan-Velickovic/microkit

   seL4 Core Platform - A simple operating system for the seL4 microkernel

   Python 1

3. icecream icecream Public

   Forked from icecc/icecream

   Distributed compiler with a central scheduler to share build load

   C++

4. rust-optee-trustzone-sdk rust-optee-trustzone-sdk Public

   Forked from apache/incubator-teaclave-trustzone-sdk

   Rust OP-TEE TrustZone SDK: Enabling Safe, Functional, and Ergonomic Development of Trustlets

   Rust

5. crosvm crosvm Public

   Forked from google/crosvm

   The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

   Rust

6. fedora-qemu-user-static fedora-qemu-user-static Public

   Forked from nalind/fedora-qemu-user-static

   Fedora with qemu-user-static

   Shell