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☆50Updated 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
- OpenBSD tcpbench ported to GNU/Linux☆15Updated 5 months ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 3 years ago
- Official mirror of the Muen Separation Kernel repository☆92Updated last week
- A TLS reverse proxy unikernel☆36Updated last month
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆71Updated last month
- ☆15Updated 7 years ago
- Tool for streamlining the development of Genode applications☆29Updated 2 weeks ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- ☆26Updated 5 years ago
- set of ELF tools☆12Updated 10 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Updated 2 years ago
- Reference manual for the Genode OS Framework☆24Updated 2 months ago
- RADclock - A feed-forward NTP clock.☆18Updated 13 years ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- Barebones amd64 kernel built using 9front☆27Updated 5 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 10 months ago
- Plan9 software ported to OCaml☆36Updated last week
- Secure HSM implementation based on MirageOS☆38Updated 3 years ago
- Create a FreeBSD pkgng-style package from an arbitrary directory of files.☆12Updated 8 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆47Updated last year
- Functional kernel written in OCaml.☆36Updated 12 years ago
- A standalone library to implement GNU libc's obstack☆28Updated 2 years ago
- A DHCP library in OCaml☆60Updated 2 weeks ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Updated 2 years ago
- ☆29Updated 2 months ago
- Update DragonFly BSD using a release/snapshot image☆18Updated 5 years ago
- Programming language☆40Updated this week