Popular repositories Loading

1. pomelo-os pomelo-os Public

   pomelo Kernel, Core Drivers, and Services

2. xvisor xvisor Public

   Forked from xvisor/xvisor

   eXtensible Versatile hypervISOR

   C

3. Xiaomi_Kernel_OpenSource Xiaomi_Kernel_OpenSource Public

   Forked from MiCode/Xiaomi_Kernel_OpenSource

   Xiaomi Mobile Phone Kernel OpenSource

4. minos-hypervisor minos-hypervisor Public

   Forked from thunder2005/minos-hypervisor

   A lightweight open source Type 1 Hypervisor for ARMv8

   C

5. ramses ramses Public

   Forked from bmwcarit/ramses

   A distributed system for rendering 3D content with focus on bandwidth and resource efficiency

   C++

6. rsL4 rsL4 Public

   Forked from woehr/rsL4

   An embedded operating system built on seL4 in the Rust language.

   Rust