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:
- RISC-V port of LLVM Linker☆24Updated 6 years ago
- ☆27Updated 2 weeks ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- SOM - Simple Object Machine☆23Updated 2 weeks ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- ☆27Updated 6 years ago
- RISC-V strace port☆13Updated 8 years ago
- NOVA userland☆48Updated 11 years ago
- sel4 benchmarking applications and support library.☆20Updated last week
- DejaGnu RISC-V port☆13Updated 3 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Database lookup for "Have I Been Pwned"☆8Updated 6 years ago
- A mirror repo of the awesome Forth system by Luke Lee☆10Updated 9 years ago
- StarFive OpenEmbedded Layer☆16Updated 2 months ago
- K42 Kernel☆27Updated 13 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- Small LISP-1 OS for x86-64 written in C, asm and Common Lisp☆11Updated 7 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated this week
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Updated 6 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆31Updated 3 months ago
- Advanced Operating Systems project☆20Updated 9 months ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- Codezero Microkernel☆108Updated 3 years ago
- A version of the Lisp programming language for MSP430-based LaunchPad boards☆10Updated 5 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- ☆15Updated 8 years ago
- UEFI boot loader☆79Updated 2 years ago
- ☆12Updated 4 years ago