sergey-worm / 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:
- ☆27Updated 3 weeks ago
- K42 Kernel☆29Updated 13 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Codezero Microkernel☆111Updated 3 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- sel4 benchmarking applications and support library.☆19Updated 3 weeks ago
- NOVA userland☆48Updated 11 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆10Updated 8 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- This is the source of the seL4 docs.☆15Updated this week
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated 3 months ago
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- RISC-V Frontend Server☆63Updated 6 years ago
- SOM - Simple Object Machine☆23Updated last week
- David M. Gay's floating-point conversion library☆34Updated 15 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- A Tree Parser Generator☆101Updated 11 months ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Port of the Yocto Project to the RISC-V ISA☆62Updated 6 years ago
- Wisp, a lisp programming language☆39Updated 7 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- ☆26Updated 6 years ago
- NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org☆17Updated 4 years ago
- C Unit Testing Framework☆25Updated 6 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆19Updated 6 years ago
- Meld virtual machine.☆28Updated 9 years ago