genodelabs / genode Star 1.1k Code Issues Pull requests Genode OS Framework linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os Updated Sep 12, 2025 C++
genodelabs / genode-world Star 47 Code Issues Pull requests Collection of community-maintained components for Genode libraries osdev applications genode Updated Sep 11, 2025 C
genodelabs / goa Star 24 Code Issues Pull requests Tool for streamlining the development of Genode applications linux cplusplus cpp tool gcc osdev goa genode sculpt-os Updated Sep 11, 2025 Tcl
genodelabs / genodians.org Star 17 Code Issues Pull requests Website for stories around the Genode operating system blog documentation howto osdev goa genode sculpt-os genodians Updated Jun 11, 2025 C++
genodelabs / genode-allwinner Star 16 Code Issues Pull requests Allwinner SoC support for the Genode OS framework arm cplusplus cpp osdev aarch64 genode pinephone allwinner-a64 Updated Aug 28, 2025 C
SirusDoma / Genode.Sharp Star 13 Code Issues Pull requests Game Engine On Demand game game-engine sfml game-development genode Updated Feb 28, 2018 C#
osfree-project / os3 Star 10 Code Issues Pull requests OS/2 personality (OS/2 API implementation on top of different kernels) api opensource osdev microkernel os2 l4 genode osfree l4env l4re Updated Jun 10, 2023 C
genodelabs / genode-imx Star 9 Code Issues Pull requests i.MX SoC family support for the Genode OS framework arm cplusplus cpp virtualization hypervisor osdev armv7 aarch64 microkernel armv8 imx6 imx7 genode imx8 Updated Aug 28, 2025 C
genodelabs / genode-riscv Star 7 Code Issues Pull requests RISC-V board support cplusplus cpp osdev riscv microkernel genode Updated Aug 28, 2025 C++
blitz / hello Star 0 Code Issues Pull requests The Genode Goa Hello World Example nix genode Updated Dec 13, 2019 Nix
rumenmitov / snapper Star 0 Code Issues Pull requests Snapper: Persistent System Snapshots backups ext4 persistence snapshot goa genode Updated Sep 1, 2025 C++