chrissicool / l4openbsdLinks
OpenBSD/L4 port
☆19Updated 8 years ago
Alternatives and similar repositories for l4openbsd
Users that are interested in l4openbsd are comparing it to the libraries listed below
Sorting:
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 2 years ago
- RADclock - A feed-forward NTP clock.☆18Updated 12 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆56Updated 3 years ago
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆31Updated this week
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- Collection of community-maintained components for Genode☆47Updated last week
- Official mirror of the Muen Separation Kernel repository☆90Updated last week
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- A TLS reverse proxy unikernel☆36Updated last month
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆65Updated last month
- Tool for streamlining the development of Genode applications☆27Updated last week
- OpenBSD tcpbench ported to GNU/Linux☆15Updated 3 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Freestanding OCaml runtime☆106Updated 3 weeks ago
- freebsd ath10k port☆50Updated 4 months ago
- A standalone library to implement GNU libc's obstack☆27Updated 2 years ago
- ☆24Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- set of ELF tools☆12Updated 10 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- Attempt to port hammer version 2 to OpenBSD☆21Updated 11 years ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- Programming language☆38Updated 4 months ago
- Reference manual for the Genode OS Framework☆24Updated last week
- Barebones amd64 kernel built using 9front☆28Updated 5 years ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- Secure HSM implementation based on MirageOS☆38Updated 3 years ago
- Mirage support for writing QubesOS AppVM unikernels☆64Updated 9 months ago
- Create a FreeBSD pkgng-style package from an arbitrary directory of files.☆12Updated 8 years ago