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:
- Collection of community-maintained components for Genode☆46Updated this week
- Official mirror of the Muen Separation Kernel repository☆86Updated last week
- This is the source of the seL4 docs.☆16Updated this week
- ☆21Updated last year
- NOVA userland☆48Updated 11 years ago
- Operating System development experiment in Ada☆36Updated 4 years ago
- Aflex the Ada fast lexical analyser generator☆18Updated 11 months 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 2 months ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- ☆27Updated last week
- Portable C Compiler☆12Updated 12 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- An experiment in language design and compiler building.☆15Updated 9 months ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Ada Keystore - protect your sensitive data with secure storage☆35Updated 2 months ago
- Ported software for HelenOS.☆21Updated last year
- Ada-language framework☆44Updated 3 weeks ago
- Solaris/PPC☆21Updated 10 years ago
- Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes☆19Updated 2 months ago
- Administration tool for Ravenports☆19Updated last week
- The main CAmkES tool☆29Updated 2 months ago
- Mirror of git.qemu.org/openbios.git☆23Updated 8 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 10 months ago
- The sources to compile Ravenports buildsheets☆18Updated this week
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆18Updated last month
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated last week
- sel4 benchmarking applications and support library.☆20Updated this week
- NetBSD userland tools☆9Updated 5 years ago
- Prex is a portable real-time operating system for embedded systems☆27Updated 14 years ago