rumpkernel / src-netbsd
Mirror of NetBSD sources useful with rump kernels
☆12Updated 7 years ago
Related projects: ⓘ
- ☆20Updated this week
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 7 years ago
- ☆17Updated this week
- NOVA userland☆47Updated 10 years ago
- A quick port of lwIP running on top of BareMetal.☆144Updated 6 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆37Updated 4 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆17Updated 8 years ago
- A toolset for extending closed-source Linux processes☆9Updated 8 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- Virtual Machine built as a CAmkES component.☆21Updated 2 months ago
- A Modular System for Flexible, High-Performance Traffic http://www.ict-mplane.eu/☆24Updated 5 years ago
- Trust Zone Project☆21Updated 9 years ago
- ikgt manifest☆42Updated 2 years ago
- Test suite for Capsicum☆43Updated 10 months ago
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆32Updated 7 years ago
- Official U-Boot package for Parallella☆41Updated 9 years ago
- compiler☆36Updated 10 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆36Updated 11 years ago
- NOVA runtime environment (official branch)☆33Updated 3 years ago
- ☆14Updated this week
- ZeroVM Run-Time environment☆66Updated 9 years ago
- Tools for running rump unikernels in userspace☆55Updated 8 years ago
- ☆22Updated last year
- ☆26Updated this week
- UEFI, on Loongson.☆13Updated 8 years ago
- A basic UNIX shell implementation in C☆30Updated 4 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago