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
- Collection of community-maintained components for Genode☆46Updated this week
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated 5 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆23Updated 4 years ago
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated last month
- Sparc emulator☆10Updated 6 years ago
- NetBSD userland tools☆9Updated 5 years ago
- Solaris/PPC☆20Updated 10 years ago
- Mirror of git.qemu.org/openbios.git☆22Updated 8 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated 3 weeks ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 9 months ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- Advanced Operating Systems project☆20Updated 8 months ago
- K42 Kernel☆27Updated 12 years ago
- Reference manual for the Genode OS Framework☆24Updated last week
- Official mirror of the Muen Separation Kernel repository☆85Updated this week
- ☆27Updated 2 months ago
- Ported software for HelenOS.☆21Updated last year
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- ☆25Updated 10 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
- This is the source of the seL4 docs.☆16Updated this week
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆21Updated 8 months ago
- Portable C Compiler☆12Updated 12 years ago
- ☆21Updated 11 months ago
- SMP implementation in GNU Mach☆26Updated last year
- Cosmoe, Haiku userland on top of Linux/BSD/Darwin based kernel/system.☆22Updated 10 years ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated this week
- A version of the Oberon emulator using RISC-V instead of Wirth's RISC machine.☆41Updated 3 years ago
- SYStem installer - install boot sector and copy DOS core system files to a formatted FAT volume☆21Updated 3 years ago