virtualsquare / vuosLinks
view based o.s.
☆41Updated 2 months ago
Alternatives and similar repositories for vuos
Users that are interested in vuos are comparing it to the libraries listed below
Sorting:
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Official mirror of the Muen Separation Kernel repository☆86Updated last week
- Fast edit-compile-test cycles for Linux+OpenZFS development☆27Updated 3 weeks ago
- Enabling continuous integration for patch-based development workflows.☆81Updated last year
- The Akaros operating system☆41Updated 4 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- Collection of community-maintained components for Genode☆47Updated 3 weeks ago
- Peephole optimizer for cproc and QBE☆25Updated last month
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- An experimental VMM for KVM written in pure Python☆28Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated last month
- ☆34Updated 2 years ago
- Eltanin system programming library☆17Updated 4 months ago
- OpenBSD unveil(2) like function in Linux using Landlock☆29Updated last month
- Curated list of unikernel resources☆47Updated 5 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated this week
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers☆24Updated last week
- Tool for streamlining the development of Genode applications☆23Updated 2 weeks ago
- Bootstrapping tools for Janneke's MES☆35Updated last month
- Shell script implementation of TOTP (RFC 6238) using openssl command line tool☆54Updated 4 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆65Updated 4 years ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆61Updated last year
- Painless Network-Transparent Network Boot with 9P☆63Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- musl libc for RISC-V☆83Updated 6 years ago
- An open-source Unix operating system☆30Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago