Alternatives and similar repositories for src-netbsd:

Users that are interested in src-netbsd are comparing it to the libraries listed below

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• ZipCPU / zipversa
  A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure
  ☆13Updated 5 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆36Updated 3 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• randombit / rust-tls
  TLS in Rust (eventually)
  ☆21Updated 11 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆32Updated 9 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 10 years ago
• NanXiao / using-dtrace-stories
  ☆22Updated 2 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 7 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆20Updated 9 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 3 months ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆17Updated 2 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 6 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• google / autopiper
  ☆48Updated 9 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆9Updated 8 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated 10 months ago
• jedisct1 / siphash-avx2
  SipHash AVX2 implementation in C
  ☆15Updated 8 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆17Updated 8 years ago