nfeske / genode-manual
Reference manual for the Genode OS Framework
☆23Updated this week
Related projects ⓘ
Alternatives and complementary repositories for genode-manual
- Collection of community-maintained components for Genode☆45Updated this week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆20Updated this week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- NOVA Microhypervisor☆8Updated this week
- Official mirror of the Muen Separation Kernel repository☆80Updated this week
- Website for stories around the Genode operating system☆17Updated 3 months ago
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆11Updated 2 weeks ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆169Updated this week
- NOVA userland☆48Updated 10 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆36Updated last year
- Tutorials for working with seL4 and/or CAmkES.☆52Updated last month
- ANSI POSIX Environment neXt for Harvey OS☆31Updated 4 years ago
- ☆25Updated 4 months ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆28Updated 7 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- Language creation framework.☆78Updated this week
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆35Updated 2 weeks ago
- Solaris/PPC☆19Updated 10 years ago
- The Ada Microkernel Project☆114Updated 9 years ago
- Tool for streamlining the development of Genode applications☆21Updated this week
- A secure and high performances microkernel for building secure MCU-based IoTs☆73Updated 3 years ago
- The development version of the L4Re Microkernel☆108Updated this week
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆50Updated 2 years ago
- Community site for microkernel projects.☆23Updated this week
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆44Updated 6 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆22Updated 3 months ago
- ☆21Updated 6 months ago