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 8 years ago
• parallella / parallella-uboot
  Official U-Boot package for Parallella
  ☆41Updated 10 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆10Updated 9 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• sysml / blockmon
  A Modular System for Flexible, High-Performance Traffic http://www.ict-mplane.eu/
  ☆24Updated 6 years ago
• danluu / sega-system-for-fpga
  FPGA Sega in Verilog, for Xilinx Virtex, circa 2002. Has an emulator thrown in, to simplify FPGA debugging.
  ☆73Updated 11 years ago
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 4 years ago
• pzemtsov / article-align-x86
  Source code for the article "A bug story: data alignment on x86"
  ☆16Updated 8 years ago
• nmenon / kernel_patch_verify
  Linux kernel patch static verification tool
  ☆25Updated 3 weeks ago
• subgraph / subgraph-oz-profiles
  Repository of maintained OZ profiles and seccomp filters.
  ☆14Updated 7 years ago
• ZipCPU / zipversa
  A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure
  ☆15Updated 5 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• lattera / bhyve
  FreeBSD's BHyVe project
  ☆28Updated 13 years ago
• NanXiao / using-dtrace-stories
  ☆22Updated 2 months ago
• struct / Nerve
  Nerve is a cross platform hit tracer built on Ragweed
  ☆47Updated 13 years ago
• theopolis / u-boot-sboot
  U-Boot with Atmel's I2C TPM, libTLCL, and libsboot (Secure Boot)
  ☆18Updated 10 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆27Updated 10 years ago
• pemb / siphash
  A VHDL implementation of SipHash
  ☆13Updated 10 years ago
• osresearch / disassembly
  Reverse engineering and disassembly examples
  ☆55Updated 8 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• zg / awesome-unikernels
  awesome-unikernels
  ☆15Updated 10 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 7 years ago
• bartman / elfgpg
  sign elf binaries with GPG
  ☆18Updated 8 years ago
• darwin-on-arm / GenericBooter
  Version 2.0
  ☆12Updated 9 years ago
• cloudius-systems / osv-gui
  OSv GUI
  ☆19Updated 8 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago