Alternatives and similar repositories for src-netbsd

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

• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 10 years ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆42Updated 6 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 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 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆29Updated 6 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆53Updated last month
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 9 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆58Updated last year
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 8 years ago
• SRI-CSL / musllvm
  The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
  ☆24Updated 6 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 11 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆110Updated last month
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• jsonn / src
  [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org
  ☆42Updated 8 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 4 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• travisg / armemu
  ARM emulator
  ☆49Updated 10 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated last year
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• intel / edison-u-boot
  DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…
  ☆38Updated 3 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆42Updated 6 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 9 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆15Updated 8 years ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago