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
Sorting:
- 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
- A toolset for extending closed-source Linux processes☆10Updated 9 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 8 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- Source code for the article "A bug story: data alignment on x86"☆16Updated 8 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 5 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- ☆22Updated 2 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆38Updated 5 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- ☆20Updated 9 years ago
- Converts an ELF binary to a JSON representation☆35Updated 9 years ago
- Linux kernel patch static verification tool☆25Updated this week
- Trust Zone Project☆21Updated 10 years ago
- ☆11Updated 4 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
- Test suite for Capsicum☆44Updated 7 months ago
- ikgt manifest☆42Updated 2 years ago
- Incremental failure injection in C☆15Updated 8 years ago
- A quick port of lwIP running on top of BareMetal.☆143Updated 7 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- Stack clash coroutine demonstration☆12Updated 7 years ago
- A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…☆16Updated 6 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago