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 9 years ago
• andreiw / ppc64le_hello
  ``Hello World'' for a Little-Endian OpenPower world (freestanding)
  ☆18Updated 8 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• NuxiNL / flower
  Label-based networking daemon
  ☆22Updated 6 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 8 years ago
• jech / sbabeld
  Stub-only implementation of the Babel routing protocol
  ☆10Updated last year
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 9 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 8 months ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• q3k / qfc
  q3k's hardware monorepo
  ☆16Updated 2 years ago
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆17Updated 12 years ago
• leviathanch / SITCON
  Slides for the talk I have very soon
  ☆12Updated 6 years ago
• POWER9BSD / freebsd
  FreeBSD src tree (read-only mirror)
  ☆12Updated 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
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆22Updated 4 years ago
• haproxy-unofficial-obsolete-mirrors / libslz
  Mirror of libslz
  ☆34Updated 5 years ago
• chmeeedalf / gecko-dev
  POWER-targeted JIT fork of Mozilla.
  ☆11Updated 2 years ago
• chipforge / PearlRiver
  1st Testwafer for LibreSilicon
  ☆15Updated 5 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆31Updated last year
• swetland / mkbox
  experiments in linux sandbox stuff
  ☆25Updated 9 years ago
• LEW21 / siren-sh
  systemd-nspawn container builder
  ☆10Updated 8 years 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
• machdyne / kakao
  Kakao Linux
  ☆32Updated 3 weeks ago
• kennylevinsen / qp
  9P protocol implementation in Go
  ☆18Updated 4 years ago
• Harvey-OS / apex
  ANSI POSIX Environment neXt for Harvey OS
  ☆31Updated 4 years ago
• pepijndevos / seqpu
  A bit-serial CPU
  ☆18Updated 5 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆31Updated 5 years ago