#
genode
Here are 14 public repositories matching this topic...
JavaScript on genode using the Moddable XS engine
-
Updated
Aug 22, 2021 - Makefile
OS/2 personality (OS/2 API implementation on top of different kernels)
-
Updated
Jun 10, 2023 - C
Raspberry Pi family support for Genode OS framework
-
Updated
Nov 5, 2024 - C++
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
Nov 19, 2024 - C
Collection of community-maintained components for Genode
-
Updated
Nov 5, 2024 - C
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
Nov 19, 2024 - C++
Improve this page
Add a description, image, and links to the genode topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the genode topic, visit your repo's landing page and select "manage topics."