virtualsquare / vuos

Related projects ⓘ

Alternatives and complementary repositories for vuos

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆45Updated this week
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• ssrg-vt / hermitux-kernel
  ☆34Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆93Updated last week
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆21Updated this week
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆23Updated 2 years ago
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated 3 months ago
• tiagodusilva / coral
  Ms Thesis @ FEUP
  ☆28Updated 4 months ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆50Updated 2 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆36Updated last year
• DankBSD / complexd
  [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…
  ☆12Updated 2 years ago
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆28Updated this week
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆23Updated last month
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆57Updated 3 years ago
• jncronin / mkgpt
  Command line tool to generate disk images containing GPT partition tables
  ☆12Updated last year
• yabits / 9pfsPkg
  Painless Network-Transparent Network Boot with 9P
  ☆62Updated 10 months ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆80Updated this week
• ruscur / snowpatch
  Enabling continuous integration for patch-based development workflows.
  ☆79Updated 7 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆18Updated 4 months ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆25Updated 6 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆30Updated last month
• quitesimpleorg / exile.h
  Painless Linux sandboxing API
  ☆14Updated 5 months ago
• leahneukirchen / libste
  C string library based on string ends
  ☆18Updated 4 months ago
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆30Updated 11 months ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• uniqernel / awesome-unikernels
  Curated list of unikernel resources
  ☆43Updated 4 years ago
• arachsys / libelf
  Freestanding libelf extracted from elfutils
  ☆24Updated last month
• eltanin-os / tertium
  Eltanin system programming library
  ☆17Updated 3 weeks ago
• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆51Updated 4 months ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated 4 months ago