djwillia / solo5Links
The Solo5 unikernel
☆14Updated 6 years ago
Alternatives and similar repositories for solo5
Users that are interested in solo5 are comparing it to the libraries listed below
Sorting:
- Source for SibylFS model and test tools☆35Updated 4 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- ☆32Updated 3 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 3 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- EbbRT: elastic building block runtime☆75Updated 11 months ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 8 months ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Automated multicore scalability testing tool☆88Updated 9 years ago
- File System Access Utilities in Userland☆77Updated 9 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- ☆32Updated 6 years ago
- OCaml embedded eBPF assembler☆21Updated 3 years ago
- Eris distributed transactions☆52Updated 7 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- XML representation of the x86 instruction set☆28Updated 2 weeks ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- Heterogeneous memory mapper (hmmap)☆10Updated 4 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- ☆12Updated 10 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago