Genode Labs

All

9 repositories

genode
Public
Genode OS Framework
linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv
C++
•
Other
•256•1.1k•96•0•Updated Dec 19, 2024Dec 19, 2024
genode-world
Public
Collection of community-maintained components for Genode
libraries osdev applications genode
C
•
Other
•47•46•8•0•Updated Dec 19, 2024Dec 19, 2024
genode-imx
Public
i.MX SoC family support for the Genode OS framework
arm cplusplus cpp virtualization hypervisor osdev armv7 aarch64 microkernel armv8
C
•
Other
•11•8•1•0•Updated Dec 16, 2024Dec 16, 2024
genode-allwinner
Public
Allwinner SoC support for the Genode OS framework
arm cplusplus cpp osdev aarch64 genode pinephone allwinner-a64
C
•
Other
•10•13•3•0•Updated Dec 11, 2024Dec 11, 2024
genode-zynq
Public
Zynq SoC support for the Genode OS framework
arm zynq cplusplus cpp osdev armv7 microkernel zybo genode
C++
•
Other
•11•6•0•0•Updated Dec 11, 2024Dec 11, 2024
genode-rpi
Public
Raspberry Pi family support for Genode OS framework
raspberry-pi arm cplusplus cpp osdev aarch64 microkernel armv6 armv8 genode
C++
•
Other
•11•13•0•0•Updated Dec 11, 2024Dec 11, 2024
genode-riscv
Public
RISC-V board support
cplusplus cpp osdev riscv microkernel genode
C++
•
Other
•5•5•0•0•Updated Dec 11, 2024Dec 11, 2024
goa
Public
Tool for streamlining the development of Genode applications
linux cplusplus cpp tool gcc osdev goa genode sculpt-os
Tcl
•
GNU Affero General Public License v3.0
•19•21•7•1•Updated Nov 21, 2024Nov 21, 2024
genodians.org
Public
Website for stories around the Genode operating system
blog documentation howto osdev goa genode sculpt-os genodians
CSS
•
Other
•10•17•0•0•Updated Aug 12, 2024Aug 12, 2024