Alternatives and similar repositories for UnikernelExperiments

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

• parallella / parallella-uboot
  Official U-Boot package for Parallella
  ☆41Updated 10 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• u-root / NiChrome
  An open ChromeOS distro with a Go-based userland, X11, and upspin support. (WIP)
  ☆59Updated 2 years ago
• polysome / aggregate-1
  An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T
  ☆146Updated 10 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 12 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆83Updated 3 years ago
• im-tomu / chopstx
  U2F firmware for Tomu board (+ chopstx port)
  ☆68Updated 7 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆19Updated 9 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 7 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• google / autopiper
  ☆48Updated 10 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆35Updated 8 years ago
• ssrg-vt / hermitux-kernel
  ☆36Updated 3 years ago
• akaros / akaros
  The Akaros operating system
  ☆43Updated 5 years ago
• frantony / barebox
  ☆33Updated last year
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆57Updated 10 years ago
• haproxy-unofficial-obsolete-mirrors / libslz
  Mirror of libslz
  ☆34Updated 6 years ago
• jaredeh / axfs
  Automatically exported from code.google.com/p/axfs
  ☆25Updated 6 years ago
• supercomputer-io / parallellocalypse-hub
  ☆10Updated 9 years ago
• wbl / cpgb
  CPGB is the Curve Privacy Guard B, a secure replacement for GPG using ECC.
  ☆24Updated 14 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆120Updated 5 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 9 years ago
• ZornsLemma / lib6502-jit
  JIT compiler for 6502 machine code, built on lib6502 and LLVM
  ☆55Updated 11 years ago
• swarren / rpi-3-aarch64-demo
  Simplest possible code to demonstrate RPi 3 running AArch64 code
  ☆41Updated 9 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆28Updated 5 years ago
• OGAWAHirofumi / tux3
  tux3 file system
  ☆75Updated 11 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• felixheld / qspimux
  QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests
  ☆54Updated 5 years ago
• jessfraz / macgyver
  The Macgyver of Dlopening: `dlopen` yourself!
  ☆45Updated 9 years ago