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 last week
- Official mirror of the Muen Separation Kernel repository☆86Updated 2 weeks ago
- Tool for streamlining the development of Genode applications☆23Updated 2 weeks ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- FreeBSD src tree (read-only mirror)☆12Updated 6 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- FreeBSD port of OpenBSD httpd☆37Updated last year
- Homemade UNIX-like operating system☆13Updated last year
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated 2 years ago
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆29Updated this week
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆19Updated 10 years ago
- posix compatible lex utility which compiles to ~60KB☆23Updated 2 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆80Updated 2 years ago
- RADclock - A feed-forward NTP clock.☆17Updated 12 years ago
- DeforaOS Project☆12Updated 4 months ago
- Reference manual for the Genode OS Framework☆24Updated last month
- ☆12Updated 6 years ago
- a port of the OpenBSD userland to Linux | unmaintained: use outils☆53Updated 11 years ago
- The sources to compile Ravenports buildsheets☆18Updated this week
- risc-v assembly language☆10Updated 3 years ago
- Patches and scripts with the goal of a current perl in OpenBSD base☆15Updated 4 months ago
- Port of the OpenBSD ksh shell☆10Updated 6 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆32Updated last year
- OpenBSD Flashboot☆74Updated 8 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated 3 weeks ago
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- BSD-licensed 9P2000.u/.L server library☆33Updated last year
- Universal package builder system☆73Updated last week
- ☆21Updated last year
- HAMMER1/2 file system userspace utilities on Linux☆20Updated 2 years ago