rumpkernel / src-netbsdLinks
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
Sorting:
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- A toolset for extending closed-source Linux processes☆10Updated 9 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Updated 9 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 8 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- ikgt manifest☆42Updated 2 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- NOVA userland☆48Updated 11 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 11 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- TLS in Rust (eventually)☆21Updated 12 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- OSv GUI☆19Updated 8 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Basic tools for building seL4 projects☆48Updated 3 weeks ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆11Updated 11 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- A quick port of lwIP running on top of BareMetal.☆143Updated 7 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago