Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by genodelabs
A curated list of projects in awesome lists by genodelabs .
https://github.com/genodelabs/genode-world
Collection of community-maintained components for Genode
Last synced: 06 Nov 2024
https://github.com/genodelabs/genodians.org
Website for stories around the Genode operating system
blog documentation genode genodians goa howto osdev sculpt-os
Last synced: 06 Nov 2024
https://github.com/genodelabs/genode-allwinner
Allwinner SoC support for the Genode OS framework
aarch64 allwinner-a64 arm cplusplus cpp genode osdev pinephone
Last synced: 06 Nov 2024
https://github.com/genodelabs/genode-rpi
Raspberry Pi family support for Genode OS framework
aarch64 arm armv6 armv8 cplusplus cpp genode microkernel osdev raspberry-pi
Last synced: 06 Nov 2024
https://github.com/genodelabs/genode-imx
i.MX SoC family support for the Genode OS framework
aarch64 arm armv7 armv8 cplusplus cpp genode hypervisor imx6 imx7 imx8 microkernel osdev virtualization
Last synced: 06 Nov 2024
https://github.com/genodelabs/genode-zynq
Zynq SoC support for the Genode OS framework
arm armv7 cplusplus cpp genode microkernel osdev zybo zynq
Last synced: 06 Nov 2024
https://github.com/genodelabs/genode-riscv
RISC-V board support
cplusplus cpp genode microkernel osdev riscv
Last synced: 06 Nov 2024