virtualsquare / vuosLinks
view based o.s.
☆46Updated 2 months ago
Alternatives and similar repositories for vuos
Users that are interested in vuos are comparing it to the libraries listed below
Sorting:
- A secure utmp/wtmp implementation☆19Updated 3 weeks ago
- Collection of community-maintained components for Genode☆50Updated last week
- Official mirror of the Muen Separation Kernel repository☆92Updated last week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆77Updated 3 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 5 years ago
- Asynchronous and more versatile replacement of posix_spawn☆23Updated 4 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆40Updated 3 weeks ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 4 years ago
- The roots of trust for all architectures☆104Updated last year
- Painless Network-Transparent Network Boot with 9P☆63Updated 2 years ago
- Portable UNIX tools (personal repository)☆62Updated last year
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 4 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆205Updated last week
- Shell script implementation of TOTP (RFC 6238) using openssl command line tool☆55Updated 5 years ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆126Updated 2 years ago
- Peephole optimizer for QBE☆32Updated 4 months ago
- Linux kernel module written in Zig☆116Updated 6 years ago
- The PLAtform NEutral Transpiler☆126Updated 2 months ago
- A community-maintained wiki documenting the musl libc.☆85Updated last month
- Bootstrapping tools for Janneke's MES☆36Updated 3 months ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆147Updated last year
- Standalone portable header-based implementation of FORTIFY_SOURCE=3☆35Updated last week
- Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code☆17Updated 4 years ago
- The Akaros operating system☆43Updated 5 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆199Updated this week
- A place for public review of the posix port of stage0☆137Updated 4 months ago
- Universal binaries for Linux.☆135Updated 2 years ago
- My minimal init of ewontfix fame☆37Updated 5 years ago
- Tool for streamlining the development of Genode applications☆29Updated last week
- ☆55Updated 3 years ago