chrissicool / l4openbsdLinks
OpenBSD/L4 port
☆17Updated 8 years ago
Alternatives and similar repositories for l4openbsd
Users that are interested in l4openbsd are comparing it to the libraries listed below
Sorting:
- Collection of community-maintained components for Genode☆47Updated 2 weeks ago
- Official mirror of the Muen Separation Kernel repository☆88Updated 2 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- Reference manual for the Genode OS Framework☆24Updated this week
- 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 standalone library to implement GNU libc's obstack☆23Updated last year
- a port of the OpenBSD userland to Linux | unmaintained: use outils☆54Updated 11 years ago
- A secure utmp/wtmp implementation☆19Updated 2 months ago
- Secure HSM implementation based on MirageOS☆37Updated 2 years ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- HAMMER2 file system for NetBSD☆56Updated 2 weeks ago
- The Epoch Init System☆110Updated 8 years ago
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- A git repository for the bmake releases☆23Updated 3 years ago
- A Linux port of OpenBSD's awk☆14Updated 6 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆33Updated last month
- Universal package builder system☆76Updated 3 weeks ago
- Tool for streamlining the development of Genode applications☆24Updated 2 months ago
- A TLS reverse proxy unikernel☆36Updated 5 months ago
- A collection of patches to NetBSD pkgsrc for musl libc.☆16Updated 10 years ago
- posix compatible lex utility which compiles to ~60KB☆27Updated 2 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- set of ELF tools☆12Updated 9 years ago
- a Plan 9-like system based using tamago☆18Updated last year
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- OpenBSD tcpbench ported to GNU/Linux☆15Updated last week
- FreeBSD Device Tree Compiler☆21Updated last month
- application source generator☆48Updated 2 weeks ago
- view based o.s.☆41Updated 3 months ago