rumpkernel / fs-utilsLinks
File System Access Utilities in Userland
☆77Updated 9 years ago
Alternatives and similar repositories for fs-utils
Users that are interested in fs-utils are comparing it to the libraries listed below
Sorting:
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- Network Semantics☆88Updated 6 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆81Updated 2 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- Reference manual for the Genode OS Framework☆24Updated 2 weeks ago
- ☆52Updated 10 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- The goal of the Toybox project is to create simple implementations of all the important Linux command line utilities. This repo is mirror…☆127Updated 8 years ago
- BSD-licensed CTF Implementation☆19Updated 9 years ago
- Test suite for Capsicum☆44Updated 8 months ago
- The Rumprun unikernel and toolchain for various platforms☆11Updated 11 months ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated last year
- Secure HSM implementation based on MirageOS☆38Updated 2 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- BSD-licensed 9P2000.u/.L server library☆33Updated last year
- Virtio draft specification☆65Updated 11 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- initify gcc plugin☆8Updated 8 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- NOVA userland☆48Updated 11 years ago
- ALLVM Tools☆56Updated 3 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- OpenBSD/L4 port☆17Updated 8 years ago
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 9 years ago
- oskit code from Fluke OS project at University of Utah☆35Updated 2 years ago