virtualsquare / vuosLinks
view based o.s.
☆43Updated last month
Alternatives and similar repositories for vuos
Users that are interested in vuos are comparing it to the libraries listed below
Sorting:
- Collection of community-maintained components for Genode☆47Updated this week
- usand - convenient and minimal unshare(1)-based sandbox☆66Updated 4 years ago
- A secure utmp/wtmp implementation☆19Updated 3 weeks ago
- Official mirror of the Muen Separation Kernel repository☆88Updated last week
- Eltanin system programming library☆17Updated 6 months ago
- The roots of trust for all architectures☆98Updated 9 months ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Ms Thesis @ FEUP☆38Updated last year
- A more standards compliant C library written in M2-Planet's C subset☆20Updated 2 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆30Updated 3 months ago
- ☆51Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- Linux kernel module written in Zig☆112Updated 6 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆29Updated 6 years ago
- Shell script implementation of TOTP (RFC 6238) using openssl command line tool☆53Updated 5 years ago
- Peephole optimizer for QBE☆30Updated last week
- change or display the stack size of an ELF binary☆22Updated 6 years ago
- Portable UNIX tools (personal repository)☆62Updated last year
- Asynchronous and more versatile replacement of posix_spawn☆22Updated 4 years ago
- The Akaros operating system☆41Updated 5 years ago
- Tool for streamlining the development of Genode applications☆24Updated this week
- A collection of info about session management with logind☆34Updated 2 years ago
- A kexec-based bootloader☆25Updated last week
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆63Updated last year
- My minimal init of ewontfix fame☆37Updated 5 years ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆117Updated last year
- The PLAtform NEutral Transpiler☆117Updated last week
- Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers☆26Updated 2 weeks ago