wrmlab / wrmos
RTOS based on L4 microkernel.
☆17Updated 6 years ago
Alternatives and similar repositories for wrmos:
Users that are interested in wrmos are comparing it to the libraries listed below
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated last month
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated this week
- Collection of community-maintained components for Genode☆46Updated last week
- Solaris/PPC☆20Updated 10 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 8 months ago
- Advanced Operating Systems project☆20Updated 7 months ago
- NetBSD userland tools☆9Updated 5 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- ☆21Updated 11 months ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- Sparc emulator☆10Updated 6 years ago
- K42 Kernel☆26Updated 12 years ago
- The Akaros operating system☆41Updated 4 years ago
- Buildtools for the Haiku operating system. (Pull requests will be ignored; patches may be sent to https://dev.haiku-os.org).☆39Updated 3 months ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆21Updated 8 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- This is the source of the seL4 docs.☆16Updated this week
- NOVA userland☆48Updated 11 years ago
- Ported software for HelenOS.☆21Updated last year
- A standalone library to implement GNU libc's obstack☆22Updated last year
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 5 months ago
- FreeDOS standard line editor☆19Updated last year
- Portable C Compiler☆12Updated 12 years ago
- Component Architecture test suite and example apps.☆28Updated last month
- The sources to compile Ravenports buildsheets☆18Updated this week
- Mach kernel from 1986☆14Updated 5 years ago
- Magenta kernel port to RISC-V☆16Updated 7 years ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated 5 years ago
- ☆27Updated last month
- Mirror of git.qemu.org/openbios.git☆22Updated 7 months ago