-
-
-
genode-world Public
Forked from genodelabs/genode-worldCollection of community-maintained components for Genode
C Other UpdatedFeb 25, 2026 -
genode-zynq Public
Forked from genodelabs/genode-zynqZynq SoC support for the Genode OS framework
C++ Other UpdatedFeb 25, 2026 -
-
seoul Public
Forked from TUD-OS/seoulA x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
-
-
goa Public
Forked from genodelabs/goaTool for streamlining the development of Genode applications
Tcl GNU Affero General Public License v3.0 UpdatedDec 10, 2025 -
genode-imx Public
Forked from genodelabs/genode-imxi.MX SoC family support for the Genode OS framework
C Other UpdatedDec 8, 2025 -
-
genode-rpi Public
Forked from genodelabs/genode-rpiRaspberry Pi family support for Genode OS framework
C++ Other UpdatedNov 12, 2025 -
-
genode-allwinner Public
Forked from genodelabs/genode-allwinnerAllwinner SoC support for the Genode OS framework
C Other UpdatedMay 5, 2025 -
-
-
morbo Public
Forked from TUD-OS/morboA toolchain for Firewire booting and remote DMA
-
-
scrcpy Public
Forked from Genymobile/scrcpyDisplay and control your Android device
C Apache License 2.0 UpdatedJun 9, 2020 -
-
-
-
imx-mkimage Public
Backup of external/imx/imx-mkimage from Code Aurora
C GNU General Public License v2.0 UpdatedDec 13, 2019 -
-
-
genodians.org Public
Forked from genodelabs/genodians.orgWebsite for stories around the Genode operating system
CSS Other UpdatedJan 29, 2019 -
elfloader-tool Public
Forked from N8Fear/elfloader-toolseL4 tool to load ELF files.
-
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
C Other UpdatedMar 9, 2017 -
NUL Public
Forked from TUD-OS/NULNOVA userland
C GNU General Public License v2.0 UpdatedSep 10, 2013 -
kaffe Public
Forked from kaffe/kaffeThe Kaffe Virtual Machine
C GNU General Public License v2.0 UpdatedAug 22, 2011
{{ message }}