genodelabs / genode-worldLinks
Collection of community-maintained components for Genode
☆48Updated this week
Alternatives and similar repositories for genode-world
Users that are interested in genode-world are comparing it to the libraries listed below
Sorting:
- Website for stories around the Genode operating system☆17Updated last week
- The sources to compile Ravenports buildsheets☆20Updated this week
- Tool for streamlining the development of Genode applications☆27Updated this week
- Official mirror of the Muen Separation Kernel repository☆89Updated last week
- Bootstrapping tools for Janneke's MES☆36Updated last month
- ANSI POSIX Environment neXt for Harvey OS☆33Updated 5 years ago
- RTOS based on L4 microkernel.☆18Updated 7 years ago
- A standalone library to implement GNU libc's obstack☆27Updated 2 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆56Updated 3 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated 2 years ago
- Universal package builder system☆76Updated this week
- The PLAtform NEutral Transpiler☆123Updated 3 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- ☆27Updated 2 weeks ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆13Updated 3 months ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 2 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- A secure utmp/wtmp implementation☆20Updated 3 weeks ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 8 months ago
- GCC patched to build illumos, including the patches from Codesourcery/Sun Microsystems used in the 3.4.3 and 4.3.3 shipped with Solaris☆27Updated last year
- A more standards compliant C library written in M2-Planet's C subset☆20Updated 3 weeks ago
- quick c☆35Updated 3 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆23Updated 9 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- NOVA userland☆48Updated 11 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆20Updated 6 years ago
- A terminal emulator for running on bare x86 machines.☆44Updated 4 years ago