virtualsquare / vuosLinks
view based o.s.
☆41Updated last month
Alternatives and similar repositories for vuos
Users that are interested in vuos are comparing it to the libraries listed below
Sorting:
- usand - convenient and minimal unshare(1)-based sandbox☆63Updated 4 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆52Updated 2 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆25Updated 2 weeks ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆32Updated this week
- Official mirror of the Muen Separation Kernel repository☆86Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- The Akaros operating system☆41Updated 4 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- Collection of community-maintained components for Genode☆47Updated this week
- C string library based on string ends☆19Updated 10 months ago
- Efforts for packaging the Rust for Linux project with the Nix package manager☆57Updated 3 months ago
- Painless Network-Transparent Network Boot with 9P☆63Updated last year
- [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 more standards compliant C library written in M2-Planet's C subset☆20Updated 3 weeks ago
- A dynamic library bundling the guest payload consumed by libkrun☆91Updated 2 months ago
- Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers☆24Updated this week
- Ms Thesis @ FEUP☆36Updated 10 months ago
- Shell script implementation of TOTP (RFC 6238) using openssl command line tool☆54Updated 4 years ago
- Curated list of unikernel resources☆47Updated 5 years ago
- Painless Linux sandboxing API☆15Updated last year
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆56Updated last year
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- An open-source Unix operating system☆30Updated this week
- Asynchronous and more versatile replacement of posix_spawn☆22Updated 3 years ago
- rio-wayland shim server☆16Updated last year
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- An experimental VMM for KVM written in pure Python☆28Updated last year