Pinned Repositories
cbe
elfloader-tool
seL4 tool to load ELF files.
foc
g2fg
GRUB2 for Genode
genode
Genode OS Framework
genode-chest
genode-world
Collection of community-maintained components for Genode
NOVA
NOVA Microhypervisor
seL4
The seL4 microkernel
seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
alex-ab's Repositories
alex-ab/NOVA
NOVA Microhypervisor
alex-ab/genode
Genode OS Framework
alex-ab/seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
alex-ab/seL4
The seL4 microkernel
alex-ab/cbe
alex-ab/elfloader-tool
seL4 tool to load ELF files.
alex-ab/foc
alex-ab/g2fg
GRUB2 for Genode
alex-ab/genode-allwinner
Allwinner SoC support for the Genode OS framework
alex-ab/genode-chest
alex-ab/genode-imx
i.MX SoC family support for the Genode OS framework
alex-ab/genode-rpi
Raspberry Pi family support for Genode OS framework
alex-ab/genode-world
Collection of community-maintained components for Genode
alex-ab/ubfg
alex-ab/genode-zynq
Zynq SoC support for the Genode OS framework
alex-ab/genodian
Content for genodians.org
alex-ab/genodians.org
Website for stories around the Genode operating system
alex-ab/goa-projects
Genode Goa projects.
alex-ab/grub
alex-ab/imx-atf
Backup of external/imx/imx-atf from Code Aurora
alex-ab/imx-mkimage
Backup of external/imx/imx-mkimage from Code Aurora
alex-ab/kaffe
The Kaffe Virtual Machine
alex-ab/morbo
A toolchain for Firewire booting and remote DMA
alex-ab/NUL
NOVA userland
alex-ab/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
alex-ab/scrcpy
Display and control your Android device
alex-ab/uboot-imx
Backup of external/imx/uboot-imx from Code Aurora