virtualsquare / vuos
view based o.s.
☆39Updated last week
Alternatives and similar repositories for vuos:
Users that are interested in vuos are comparing it to the libraries listed below
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆38Updated 2 years ago
- Collection of community-maintained components for Genode☆46Updated this week
- Official mirror of the Muen Separation Kernel repository☆83Updated this week
- Collection of toolchains built from source☆16Updated 2 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- Tool for streamlining the development of Genode applications☆22Updated this week
- usand - convenient and minimal unshare(1)-based sandbox☆62Updated 4 years ago
- A secure utmp/wtmp implementation☆17Updated 4 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆109Updated this week
- Peephole optimizer for cproc and QBE☆25Updated 2 years ago
- The Akaros operating system☆41Updated 4 years ago
- A collection of ideas for new kernel features☆52Updated 4 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆29Updated this week
- An experimental VMM for KVM written in pure Python☆27Updated last year
- The roots of trust for all architectures☆89Updated 2 months ago
- Painless Network-Transparent Network Boot with 9P☆63Updated last year
- VDE: Virtual Distributed Ethernet. Plug your VM directly to the cloud.☆35Updated 4 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- Sail code model of the CHERIoT ISA☆34Updated last month
- A glibc overlay library for process self-virtualization☆13Updated last month
- C string library based on string ends☆19Updated 7 months ago
- [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
- A dynamic library bundling the guest payload consumed by libkrun☆85Updated last week
- A synchronous, single-threaded interface for starting processes on Linux☆29Updated 3 years ago
- Ms Thesis @ FEUP☆32Updated 7 months ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- A L4-like micro-kernel OS written in Rust☆60Updated last year
- tiny aarch64 baremetal OS thingy☆50Updated 5 years ago
- Freestanding libelf extracted from elfutils☆27Updated 4 months ago
- Shell script implementation of TOTP (RFC 6238) using openssl command line tool☆54Updated 4 years ago