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
  ☆42Updated 5 years ago
• rofl0r / hardcore-utils
  some core unix utils with focus on simplicity and ability to build standalone.
  ☆41Updated 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 5 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆56Updated 9 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 6 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆48Updated 13 years ago
• bolinfest / opensnoop-native
  opensnoop in pure C using eBPF
  ☆102Updated 7 months ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• mbitsnbites / osbench
  Benchmarking tools for measuring operating system performance
  ☆34Updated 2 years ago
• clearlinux / abireport
  Tool to create ABI reports from ELF binaries in packaging
  ☆15Updated 5 years ago
• dimkr / libwaive
  A library that allows processes to waive their rights
  ☆27Updated 9 years ago
• conclusiveeng / lib9p
  BSD-licensed 9P2000.u/.L server library
  ☆34Updated 2 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆28Updated 5 years ago
• mikejsavage / prelinux
  DIY init for elaborate disk encryption
  ☆11Updated 10 years ago
• jedisct1 / simpleconf
  A deceptively simple way to add a configuration file to a command-line application.
  ☆17Updated 8 months ago
• 9fans / vx32
  Portable, efficient, safe execution of untrusted x86 code
  ☆126Updated 3 years ago
• rofl0r / jobflow
  distribute and coordinate work using parallel processes (like GNU parallel, but much faster and memory-efficient)
  ☆99Updated 3 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆33Updated 6 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 5 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 9 years ago
• ColinIanKing / pagemon
  Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.
  ☆46Updated 3 months ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• alyptik / cepl
  A readline C and C++ REPL with history, tab-completion, and undo.
  ☆26Updated this week
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago