rumpkernel / fs-utils

Related projects ⓘ

Alternatives and complementary repositories for fs-utils

• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆65Updated 2 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 7 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• rems-project / netsem
  Network Semantics
  ☆86Updated 5 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 8 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• alnsn / bpfjit
  Just-in-Time compilation of bpf
  ☆31Updated 4 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆37Updated 2 years ago
• davidchisnall / dtc
  FreeBSD Device Tree Compiler
  ☆19Updated last year
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆64Updated 11 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆36Updated last year
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆45Updated this week
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆20Updated 9 years ago
• chaos / v9fs
  9P kernel modules
  ☆9Updated 10 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 5 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• Wind-River / wr-lx-setup
  Wind River Linux Setup -- Distribution Build Project Assembler
  ☆12Updated 5 years ago
• amenonsen / tappet
  ☆30Updated 2 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 4 months ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• intel / qemu-lite
  ☆70Updated 2 years ago
• Igalia / pflua-bench
  Benchmarking implementations of pflang, the pcap filter language
  ☆26Updated 7 years ago
• luigirizzo / netlink-freebsd
  Automatically exported from code.google.com/p/netlink-freebsd
  ☆15Updated 9 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆44Updated 6 months ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 8 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 years ago
• conclusiveeng / lib9p
  BSD-licensed 9P2000.u/.L server library
  ☆32Updated last year