alex-ab

Alexander Boettcher's repositories

NOVA

NOVA Microhypervisor

Language:C++NOASSERTION7 7 7

genode

Genode OS Framework

Language:C++NOASSERTION4 8 1

seoul

A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

Language:C++GPL-2.04 5 1

seL4

The seL4 microkernel

Language:CNOASSERTION100

cbe

AGPL-3.0010

elfloader-tool

seL4 tool to load ELF files.

Language:CNOASSERTION020

foc

Language:C++NOASSERTION010

g2fg

GRUB2 for Genode

Language:ShellNOASSERTION02 1

genode-allwinner

Allwinner SoC support for the Genode OS framework

Language:CNOASSERTION000

genode-chest

Language:C++010

genode-imx

i.MX SoC family support for the Genode OS framework

Language:CNOASSERTION020

genode-rpi

Raspberry Pi family support for Genode OS framework

Language:C++NOASSERTION000

ubfg

Language:Shell020

genode-world

Collection of community-maintained components for Genode

Language:CNOASSERTION030

genode-zynq

Zynq SoC support for the Genode OS framework

Language:C++NOASSERTION000

genodian

Content for genodians.org

NOASSERTION020

genodians.org

Website for stories around the Genode operating system

Language:CSSNOASSERTION030

grub

Language:CGPL-3.0020

imx-atf

Backup of external/imx/imx-atf from Code Aurora

Language:CNOASSERTION030

imx-mkimage

Backup of external/imx/imx-mkimage from Code Aurora

Language:CGPL-2.0030

kaffe

The Kaffe Virtual Machine

Language:CGPL-2.0030

morbo

A toolchain for Firewire booting and remote DMA

Language:CGPL-2.0050

NUL

NOVA userland

Language:CGPL-2.0020

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.

Language:CNOASSERTION020

scrcpy

Display and control your Android device

Language:CApache-2.0020

uboot-imx

Backup of external/imx/uboot-imx from Code Aurora

Language:C030