BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
☆16Feb 28, 2021Updated 5 years ago
Alternatives and similar repositories for jailhouse-rt
Users that are interested in jailhouse-rt are comparing it to the libraries listed below
Sorting:
- ☆13Nov 9, 2023Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆19Aug 28, 2025Updated 6 months ago
- XtratuM Mirror☆21Apr 7, 2017Updated 8 years ago
- Jailhouse demonstration and testing images☆63Feb 18, 2024Updated 2 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 5 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆18Feb 10, 2026Updated 3 weeks ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months ago
- My multi-system flake configuration☆12Updated this week
- ☆10May 30, 2017Updated 8 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- The Quest Operating System☆49Dec 4, 2024Updated last year
- LaTeX sleek beamer template☆10Oct 16, 2023Updated 2 years ago
- Configuración de Neovim con lua☆12Jun 14, 2022Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- ☆12Jan 9, 2026Updated last month
- A guide on how to build and use a set of Bao guest configurations for various platforms☆49Updated this week
- Various and sundry shell scripts used on my system☆21Updated this week
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 8 years ago
- Another Rust BitTorrent implementation☆14Mar 31, 2024Updated last year
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Updated this week
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- Asynchronous client library for interacting with the Beanstalkd work queue.☆16Feb 1, 2024Updated 2 years ago
- Benchmarking for multiple AWS S3 libraries.☆15Updated this week
- My neovim setting written by 100% lua 🧪☆10Oct 26, 2025Updated 4 months ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- ☆11Sep 10, 2021Updated 4 years ago
- ☆20Mar 1, 2026Updated last week
- Just an example I wrote for a tc ebpf classifier (cls_bpf)☆15May 3, 2021Updated 4 years ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- ZMK firmware for nice!nanos in a Sofle☆12Feb 26, 2025Updated last year
- Framework for generating CV, publications list, etc.☆10Feb 6, 2023Updated 3 years ago
- Scripts used to setup a Spark cluster on EC2☆21Mar 24, 2016Updated 9 years ago
- A python module that provides access to the Kaiko Bittrex Historical trade data☆10Aug 20, 2017Updated 8 years ago