NuxiNL / cloudabi-portsLinks
Packages for CloudABI
☆21Updated 5 years ago
Alternatives and similar repositories for cloudabi-ports
Users that are interested in cloudabi-ports are comparing it to the libraries listed below
Sorting:
- The 9p protocol as a serde format and message types.☆31Updated 4 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 5 years ago
- ☆15Updated 8 years ago
- CloudABI's standard C library☆299Updated 5 years ago
- RADclock - A feed-forward NTP clock.☆18Updated 12 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- Test suite for Capsicum☆45Updated 11 months ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆18Updated 6 years ago
- Definitions for the CloudABI data types and system calls☆133Updated 5 years ago
- FreeBSD kernel module in Rust☆66Updated 8 years ago
- [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org☆42Updated 8 years ago
- Bitrig base system repository.☆259Updated 8 years ago
- Collection of community-maintained components for Genode☆47Updated this week
- Linux kernel with Capsicum support☆209Updated 5 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated last month
- Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…☆78Updated 3 years ago
- BSD-licensed CTF Implementation☆20Updated 10 years ago
- ☆27Updated 8 years ago
- Label-based networking daemon☆23Updated 6 years ago
- You can't handle the truth☆52Updated 4 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- 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
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- RINA Simulator☆29Updated 5 years ago
- The FreeBSD Community Proposal Repository☆25Updated 6 years ago
- Fork of FreeBSD's base repository to work on graphics-stack-related projects☆48Updated 7 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- The No-Order File System (NoFS)☆48Updated 12 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago