Alternatives and similar repositories for UnikernelExperiments

Users that are interested in UnikernelExperiments are comparing it to the libraries listed below

• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• polysome / aggregate-1
  An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T
  ☆145Updated 9 years ago
• parallella / parallella-uboot
  Official U-Boot package for Parallella
  ☆41Updated 10 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆82Updated 2 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.
  ☆74Updated 11 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆122Updated 5 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 6 years ago
• google / autopiper
  ☆47Updated 9 years ago
• frantony / barebox
  ☆33Updated last year
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆19Updated 8 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• im-tomu / chopstx
  U2F firmware for Tomu board (+ chopstx port)
  ☆68Updated 6 years ago
• u-root / NiChrome
  An open ChromeOS distro with a Go-based userland, X11, and upspin support. (WIP)
  ☆59Updated 2 years ago
• ZornsLemma / lib6502-jit
  JIT compiler for 6502 machine code, built on lib6502 and LLVM
  ☆55Updated 11 years ago
• sdd / ieee754-rrp
  IEEE754 reduced reduced precision floating point
  ☆22Updated 8 years ago
• FiloSottile / openbsd-fde-crack
  Some code to bruteforce OpenBSD softraid encrypted drives - NOT A READY-TO-USE TOOL
  ☆58Updated 9 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 5 years ago
• NuxiNL / arpc
  GRPC-like RPC library that supports file descriptor passing by using Argdata
  ☆18Updated 6 years ago
• OGAWAHirofumi / tux3
  tux3 file system
  ☆75Updated 10 years ago
• supercomputer-io / parallellocalypse-hub
  ☆10Updated 9 years ago
• vladpalos / PrimaLuce
  Software Development Platform for ARM / Android terminals
  ☆39Updated 9 years ago
• mwcampbell / docker-muslbase
  Minimal self-hosting system for Docker using musl libc and BusyBox
  ☆67Updated 10 years ago
• myriadrf / Novena-RF
  A 300 MHz to 3800 MHz RF module for the Novena Open Hardware Computing Platform
  ☆53Updated 9 years ago
• jsonn / src
  [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org
  ☆42Updated 8 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• Fabien-Chouteau / ACNC
  A G-code parser and CNC controller (in Ada)
  ☆65Updated 6 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆108Updated 9 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• KestrelComputer / kestrel
  The Kestrel is a family of home-made computers, built as much as possible on open-source technology, and supporting as much as possible t…
  ☆188Updated 4 years ago