sergey-worm / wrmos
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
- sel4 benchmarking applications and support library.☆20Updated last month
- RISC-V strace port☆13Updated 8 years ago
- ☆27Updated last month
- framework for a simple user space for lk☆23Updated 2 years ago
- StarFive OpenEmbedded Layer☆16Updated last month
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated this week
- Buildroot overlay for IBM Open Power releases☆16Updated 4 months ago
- YARI is a high performance open source FPGA soft-core RISC implementation, binary compatible with MIPS I. The distribution package includ…☆45Updated 4 months ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- Mirror of git.qemu.org/ipxe.git☆18Updated last month
- NOVA userland☆48Updated 11 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆30Updated last month
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated last week
- Advanced Operating Systems project☆20Updated 7 months ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Database lookup for "Have I Been Pwned"☆8Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Mirror of git://qemu.org/capstone.git☆10Updated 2 weeks ago
- ☆15Updated 8 years ago
- UEFI boot loader☆79Updated 2 years ago
- Virtual Machine built as a CAmkES component.☆23Updated last month
- tar file system as loadable kernel module☆16Updated 8 years ago
- byte <> string conversion utilities☆14Updated 10 years ago
- work in progress ports of linuxboot for various mainboards☆21Updated 2 years ago
- Simple event handling library.☆11Updated 10 years ago