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
  ☆43Updated 5 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆49Updated 13 years ago
• swetland / mkbox
  experiments in linux sandbox stuff
  ☆26Updated 10 years ago
• rofl0r / hardcore-utils
  some core unix utils with focus on simplicity and ability to build standalone.
  ☆41Updated 2 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• mark-kubacki / signify
  Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs
  ☆24Updated 5 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆57Updated 10 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 3 years ago
• shuveb / sparkler
  A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…
  ☆120Updated 5 years ago
• virtualsquare / vuos
  view based o.s.
  ☆47Updated 3 months ago
• hlandau / kvmtest
  An experimental VMM for KVM written in pure Python
  ☆33Updated 2 years ago
• Minoru / plentyfs
  A proof-of-concept for a read-only filesystem with random contents generated on demand.
  ☆39Updated 4 years ago
• bolinfest / opensnoop-native
  opensnoop in pure C using eBPF
  ☆103Updated 9 months ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• jvns / ltrace-bcc
  ltrace clone that uses bcc + uprobes instead of ptrace
  ☆48Updated 7 years ago
• krh / ksim
  The little simulator that could.
  ☆23Updated 8 years ago
• egranata / puppy
  The Puppy Operating System
  ☆25Updated 6 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆55Updated 5 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 5 years ago
• sbates130272 / qemu-minimal
  A minimalistic QEMU and libvirt environment used to generate test VMs.
  ☆33Updated 3 weeks ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• angt / slashinit
  Minimal PID 1 for initramfs
  ☆19Updated last year
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆56Updated 9 years ago
• troglobit / myLinux
  myLinux is an embedded operating system based on Buildroot and Finit
  ☆87Updated last year
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆32Updated last month
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 3 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• intel / mOS
  ☆143Updated 2 weeks ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago