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
- Collection of community-maintained components for Genode☆46Updated last week
- The Akaros operating system☆41Updated 4 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆63Updated 4 years ago
- Bootstrapping tools for Janneke's MES☆34Updated last week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆116Updated this week
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years 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 secure utmp/wtmp implementation☆18Updated 5 months ago
- ☆80Updated 4 years ago
- Asynchronous and more versatile replacement of posix_spawn☆21Updated 3 years ago
- Ms Thesis @ FEUP☆33Updated 8 months ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- Painless Network-Transparent Network Boot with 9P☆63Updated last year
- Portable UNIX tools (personal repository)☆60Updated 11 months ago
- Enabling continuous integration for patch-based development workflows.☆80Updated 11 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- Command line tool to generate disk images containing GPT partition tables☆13Updated last year
- A collection of ideas for new kernel features☆52Updated 5 months ago
- My minimal init of ewontfix fame☆34Updated 4 years ago
- Peephole optimizer for cproc and QBE☆25Updated 2 years ago
- a surrogate libtool implementation, written in C☆63Updated 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
- Official mirror of the Muen Separation Kernel repository☆83Updated last week
- Efforts for packaging the Rust for Linux project with the Nix package manager☆55Updated last month
- A synchronous, single-threaded interface for starting processes on Linux☆29Updated 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…☆30Updated this week
- A git repository for the bmake releases☆21Updated 3 years ago
- Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers☆24Updated last week
- C implementation of the Varlink protocol and command line tool☆123Updated last week
- Tool for streamlining the development of Genode applications☆22Updated last week