chrissicool / l4openbsdLinks
OpenBSD/L4 port
☆18Updated 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☆48Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆57Updated 3 years ago
- OpenBSD tcpbench ported to GNU/Linux☆15Updated 4 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- Official mirror of the Muen Separation Kernel repository☆90Updated this week
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Updated last year
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 8 months ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Updated 2 years ago
- BSD 2.11, as patched☆24Updated 4 years ago
- A git repository for the bmake releases☆22Updated 4 years ago
- A standalone library to implement GNU libc's obstack☆28Updated 2 years ago
- A collection of patches to NetBSD pkgsrc for musl libc.☆18Updated 10 years ago
- HAMMER2 file system for NetBSD☆57Updated 3 months ago
- ☆25Updated 5 years ago
- A TLS reverse proxy unikernel☆36Updated 2 months ago
- A secure utmp/wtmp implementation☆19Updated last month
- Reference manual for the Genode OS Framework☆24Updated last month
- Secure HSM implementation based on MirageOS☆38Updated 3 years ago
- set of ELF tools☆12Updated 10 years ago
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆31Updated last week
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 3 years ago
- Tool for streamlining the development of Genode applications☆27Updated last week
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- posix compatible lex utility which compiles to ~60KB☆27Updated 3 years ago
- A Linux port of OpenBSD's awk☆14Updated 7 years ago
- A TLA+ specification for the Xen vchan protocol☆14Updated last week
- Universal package builder system☆76Updated this week
- Use DragonFly BSD in github actions☆24Updated this week
- Programming language☆38Updated 4 months ago