Popular repositories Loading

1. bao-hypervisor bao-hypervisor Public

   Forked from bao-project/bao-hypervisor

   Bao, a Lightweight Static Partitioning Hypervisor

   C 1

2. bao-demos bao-demos Public

   Forked from bao-project/bao-demos

   A guide on how to build and use a set of Bao guest configurations for various platforms

   Makefile

3. zephyr zephyr Public

   Forked from zephyrproject-rtos/zephyr

   Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

   C

4. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C

5. riscv-summit-eu-2026-workshop riscv-summit-eu-2026-workshop Public

   OSYX + Infineon Developer Workshop – Bao Hypervisor on RISC-V (RVI EU Summit 2026)

   C

6. optee_ftpm optee_ftpm Public

   Forked from OP-TEE/optee_ftpm

   OP-TEE integration for the MS TPM 2.0 Reference Implementation (fTPM)

   C