alex-ab/seL4_tools Fork of skalk/seL4_tools

Size: 1.11 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

alex-ab/genode-chest

Language: C++ - Size: 299 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 2

alex-ab/NOVA Fork of udosteinberg/NOVA

NOVA Microhypervisor

Language: C++ - Size: 11.5 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 11

alex-ab/seoul Fork of TUD-OS/seoul

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

Language: C++ - Size: 7.83 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 6 - Forks: 5

alex-ab/genode-world Fork of genodelabs/genode-world

Collection of community-maintained components for Genode

Language: C - Size: 3.85 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

alex-ab/genode Fork of genodelabs/genode

Genode OS Framework

Language: C++ - Size: 81.3 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 4 - Forks: 0

alex-ab/g2fg

GRUB2 for Genode

Language: Shell - Size: 14.1 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 2

alex-ab/goa-projects Fork of ssumpf/goa-projects

Genode Goa projects.

Size: 3.01 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

alex-ab/morbo Fork of TUD-OS/morbo

A toolchain for Firewire booting and remote DMA

Language: C - Size: 397 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 4

alex-ab/genodian

Content for genodians.org

Size: 2.11 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

alex-ab/kaffe Fork of kaffe/kaffe

The Kaffe Virtual Machine

Language: C - Size: 188 MB - Last synced at: over 2 years ago - Pushed at: about 14 years ago - Stars: 0 - Forks: 0

alex-ab/genode-zynq Fork of genodelabs/genode-zynq

Zynq SoC support for the Genode OS framework

Size: 424 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

alex-ab/genode-rpi Fork of genodelabs/genode-rpi

Raspberry Pi family support for Genode OS framework

Size: 66.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

alex-ab/genode-allwinner Fork of genodelabs/genode-allwinner

Allwinner SoC support for the Genode OS framework

Size: 226 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

alex-ab/genode-imx Fork of genodelabs/genode-imx

i.MX SoC family support for the Genode OS framework

Size: 1.56 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

alex-ab/cbe Fork of cbe-project/cbe

Size: 1.8 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

alex-ab/scrcpy Fork of Genymobile/scrcpy

Display and control your Android device

Size: 1.63 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

alex-ab/elfloader-tool Fork of N8Fear/elfloader-tool

seL4 tool to load ELF files.

Language: C - Size: 84 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1

alex-ab/ubfg

Language: Shell - Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alex-ab/uboot-imx

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

Language: C - Size: 104 MB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alex-ab/imx-mkimage

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

Language: C - Size: 330 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alex-ab/imx-atf

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

Language: C - Size: 12.7 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alex-ab/foc

Language: C++ - Size: 20.5 MB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

alex-ab/genodians.org Fork of genodelabs/genodians.org

Website for stories around the Genode operating system

Language: CSS - Size: 62.5 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

alex-ab/grub

Language: C - Size: 19.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 1

alex-ab/qemu Fork of qemu/qemu

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

Language: C - Size: 141 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

alex-ab/seL4 Fork of seL4/seL4

The seL4 microkernel

Language: C - Size: 9.44 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

alex-ab/NUL Fork of TUD-OS/NUL

NOVA userland

Language: C - Size: 10.6 MB - Last synced at: over 2 years ago - Pushed at: almost 12 years ago - Stars: 0 - Forks: 0