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
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- Collection of community-maintained components for Genode☆47Updated this week
- A set of utilities to process FCODE, OpenFirmware's byte code☆32Updated 6 months ago
- ☆21Updated 8 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆20Updated 3 weeks ago
- NetBSD userland tools☆9Updated 4 years ago
- Solaris/PPC☆20Updated 10 years ago
- ☆25Updated 6 months ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- Advanced Operating Systems project☆20Updated 4 months ago
- The sources to compile Ravenports buildsheets☆17Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- Ported software for HelenOS.☆21Updated 9 months ago
- A modern BLISS compiler, based on LLVM and exposing some of its useful items.☆13Updated 5 years ago
- NOVA userland☆48Updated 11 years ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Updated 8 months ago
- FreeVMS (0.3.17 release continued), the only working one☆35Updated last year
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆19Updated 5 months ago
- Mirror of git.qemu.org/sgabios.git☆17Updated 2 years ago
- Sparc emulator☆10Updated 6 years ago
- Reference manual for the Genode OS Framework☆23Updated last month
- K42 Kernel☆24Updated 12 years ago
- ☆24Updated 10 years ago
- Mirror of PCC project's CVS repositories☆40Updated 5 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆23Updated 5 months ago
- Aflex the Ada fast lexical analyser generator☆15Updated 6 months ago
- Official mirror of the Muen Separation Kernel repository☆83Updated last month
- Mirror of git.qemu.org/openbios.git☆20Updated 4 months ago
- Oberon Microsystems BlackBox Component Builder port for OpenBSD, GNU/Linux and FreeBSD☆27Updated 5 years ago