rumpkernel / src-netbsd
Mirror of NetBSD sources useful with rump kernels
☆12Updated 8 years ago
Alternatives and similar repositories for src-netbsd:
Users that are interested in src-netbsd are comparing it to the libraries listed below
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 8 years ago
- A toolset for extending closed-source Linux processes☆10Updated 8 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆38Updated 5 years ago
- A quick port of lwIP running on top of BareMetal.☆143Updated 6 years ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 8 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 3 years ago
- U-Boot with Atmel's I2C TPM, libTLCL, and libsboot (Secure Boot)☆18Updated 10 years ago
- Version 2.0☆12Updated 9 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 5 years ago
- History DB is a trully scalable (hundreds of millions updates per day) distributed archive system with per user and per day activity stat…☆31Updated 11 years ago
- OSv GUI☆19Updated 8 years ago
- x86-64 kernel in Rust☆31Updated 8 years ago
- ☆11Updated 4 years ago
- ☆22Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆11Updated 11 years ago
- A Modular System for Flexible, High-Performance Traffic http://www.ict-mplane.eu/☆24Updated 6 years ago
- Easy, flexible C unit testing☆11Updated 9 years ago
- Phil Zimmermann's SDK for ZRTP☆21Updated 7 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆14Updated last month
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- NOVA userland☆48Updated 11 years ago
- Lightweight cross-platform IRC lib written in standard C99 + IRC netcat (a.k.a. icat)☆22Updated 10 months ago