rumpkernel / src-netbsd

Related projects ⓘ

Alternatives and complementary repositories for src-netbsd

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months 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
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆43Updated 3 months ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆45Updated 5 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆66Updated 9 years ago
• rzezeski / libMicro
  ☆10Updated 4 years ago
• pemb / siphash
  A VHDL implementation of SipHash
  ☆13Updated 9 years ago
• q3k / phook
  A toolset for extending closed-source Linux processes
  ☆9Updated 8 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆13Updated 8 years ago
• hcrypt-project / oblivious
  Oblivious Memory Access under Fully Homomorphic Encryption
  ☆13Updated 9 years ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆41Updated 5 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆32Updated 9 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆25Updated 10 years ago
• riscvarchive / riscv-lld
  RISC-V port of LLVM Linker
  ☆24Updated 6 years ago
• ZipCPU / zipversa
  A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure
  ☆13Updated 5 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 5 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆46Updated 7 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 10 years ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆17Updated 2 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated last month
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 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