rumpkernel / fs-utils
File System Access Utilities in Userland
☆76Updated 8 years ago
Alternatives and similar repositories for fs-utils:
Users that are interested in fs-utils are comparing it to the libraries listed below
- ☆52Updated 10 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆77Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- Minimalistic Operating System for Xen☆65Updated 2 years ago
- Extract Module.symvers info from a binary kernel☆48Updated 9 years ago
- Just-in-Time compilation of bpf☆31Updated 4 years ago
- Linux kernel source tree☆37Updated 5 years ago
- Network Semantics☆86Updated 6 years ago
- Virtio draft specification☆64Updated 11 years ago
- NOVA userland☆48Updated 11 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- Snabb Switch: Fast open source packet processing☆48Updated 3 years ago
- Secure HSM implementation based on MirageOS☆37Updated 2 years ago
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 8 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 9 years ago
- Build static variants of PRoot☆66Updated 7 years ago
- BSD-licensed CTF Implementation☆20Updated 9 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 4 years ago
- initify gcc plugin☆8Updated 7 years ago
- ☆11Updated 4 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 5 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Benchmarking implementations of pflang, the pcap filter language☆26Updated 8 years ago
- Collection of community-maintained components for Genode☆47Updated 2 weeks ago
- The Solo5 unikernel☆14Updated 5 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Linux Kernel TLS/DTLS Module Tool☆20Updated 7 years ago