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
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆10Updated 8 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆18Updated 2 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated last year
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 4 months ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆33Updated 9 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• lorenzo-stoakes / kernel-scripts
  Handy kernel development scripts.
  ☆46Updated 2 months ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• freebsd / jenkins-config
  Backup of config files used by jenkins.freebsd.org
  ☆8Updated 9 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• nmenon / kernel_patch_verify
  Linux kernel patch static verification tool
  ☆25Updated this week
• andrewchambers / pycc
  compiler
  ☆36Updated 10 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 9 months ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 6 years ago
• rumpkernel / pci-userspace
  Kernel PCI device drivers in userspace
  ☆13Updated 5 years ago
• dgibson / SLOF
  Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems
  ☆11Updated 11 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 7 months ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• NanXiao / using-dtrace-stories
  ☆22Updated 2 years ago