wrmlab / wrmosLinks
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
Sorting:
- Official mirror of the Muen Separation Kernel repository☆86Updated last week
- Mirror of git.qemu.org/openbios.git☆23Updated 9 months ago
- Reference manual for the Genode OS Framework☆24Updated last week
- Collection of community-maintained components for Genode☆47Updated 3 weeks ago
- ☆21Updated last year
- The sources to compile Ravenports buildsheets☆19Updated this week
- NetBSD userland tools☆9Updated 5 years ago
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated 3 months ago
- LolaCreator is a QtCreator based IDE for Lola-2☆15Updated 2 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆24Updated 4 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 10 months ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated last month
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- ☆27Updated last month
- Oberon Microsystems BlackBox Component Builder port for OpenBSD, GNU/Linux and FreeBSD☆27Updated 5 years ago
- Solaris/PPC☆21Updated 10 years ago
- ☆12Updated 7 years ago
- K42 Kernel☆28Updated 13 years ago
- This is the source of the seL4 docs.☆16Updated this week
- NOVA userland☆48Updated 11 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated 3 weeks ago
- Magenta kernel port to RISC-V☆16Updated 7 years ago
- ☆25Updated 11 years ago
- Advanced Operating Systems project☆20Updated 9 months ago
- This is the Lola-2 parser used by LolaCreator☆13Updated 6 years ago
- Ported software for HelenOS.☆21Updated last year
- B language compiler☆32Updated 2 months ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated 3 weeks ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- Sparc emulator☆10Updated 7 years ago