sergey-worm / wrmosLinks
RTOS based on L4 microkernel.
☆16Updated 6 years ago
Alternatives and similar repositories for wrmos
Users that are interested in wrmos are comparing it to the libraries listed below
Sorting:
- Calcium OS project for x86_64☆40Updated 7 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- ☆28Updated last month
- sel4 benchmarking applications and support library.☆20Updated last month
- tinysh: minimal shell☆30Updated 13 years ago
- ☆22Updated 12 years ago
- NOVA userland☆48Updated 11 years ago
- ☆16Updated 8 years ago
- UEFI boot loader☆80Updated 2 years ago
- framework for a simple user space for lk☆23Updated 3 years ago
- NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org☆17Updated 3 years ago
- K42 Kernel☆28Updated 13 years ago
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- PowerPC FSI Debugger☆18Updated 3 weeks ago
- work in progress ports of linuxboot for various mainboards☆23Updated 2 years ago
- PKGSRC repository for MINIX - Automatically replicated from gerrit.minix3.org☆16Updated 8 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated last week
- Berkeley DB 1.85 with patches and fixes applied☆26Updated 2 years ago
- Mirror of the Plan 9 From Bell Labs kernel.☆19Updated 12 years ago
- qemu cortex-a9 vexpress-a9 arm☆25Updated last year
- Google Summer of Code projects☆13Updated 4 years ago
- Database lookup for "Have I Been Pwned"☆8Updated 7 years ago
- A port of the xiafs filesystem to modern Linux kernels.☆18Updated last month
- Advanced Operating Systems project☆20Updated 10 months ago
- Codezero Microkernel☆108Updated 3 years ago
- The gdb tcl/tk GUI☆25Updated 8 years ago
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- ☆27Updated 6 years ago