Alternatives and similar repositories for hermitux-kernel

Users that are interested in hermitux-kernel are comparing it to the libraries listed below

• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• quitesimpleorg / exile.h
  Painless Linux sandboxing API
  ☆16Updated last year
• swetland / mkbox
  experiments in linux sandbox stuff
  ☆25Updated 10 years ago
• mark-kubacki / signify
  Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs
  ☆24Updated 4 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated last year
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 10 months ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• conclusiveeng / lib9p
  BSD-licensed 9P2000.u/.L server library
  ☆33Updated last year
• clownix / cloonix_vsock
  VirtioVsock
  ☆16Updated 6 years ago
• Minoru / plentyfs
  A proof-of-concept for a read-only filesystem with random contents generated on demand.
  ☆38Updated 3 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆22Updated 6 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆47Updated 12 years ago
• NuxiNL / scuba
  Kubernetes Container Runtime Interface daemon for running CloudABI jobs
  ☆17Updated 6 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆17Updated 12 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 2 years ago
• jvns / ltrace-bcc
  ltrace clone that uses bcc + uprobes instead of ptrace
  ☆47Updated 7 years ago
• rofl0r / hardcore-utils
  some core unix utils with focus on simplicity and ability to build standalone.
  ☆40Updated last year
• jedisct1 / ratelimit
  Plug-and-play IP rate limiter in C
  ☆24Updated 4 years ago
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 5 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆81Updated 2 years ago
• dimkr / libwaive
  A library that allows processes to waive their rights
  ☆27Updated 9 years ago
• mistifyio / mistify-os
  Custom Linux distribution built with cloud operability in mind
  ☆9Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• westermo / netbox
  The BusyBox of embedded network toolboxes
  ☆32Updated last month