rntmancuso / jailhouse-rtView external linksLinks
BU-maintained version of the Jailhouse partitioning hypervisor with real-time features
☆16Feb 28, 2021Updated 4 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 5 months ago
- XtratuM Mirror☆21Apr 7, 2017Updated 8 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.,☆18Jan 5, 2026Updated last month
- ☆10May 30, 2017Updated 8 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 2 months 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
- My multi-system flake configuration☆12Updated this week
- A guide on how to build and use a set of Bao guest configurations for various platforms☆49Jan 15, 2026Updated last month
- An example of elixir erlport server with python opencv, just a demo, no thumbnail functionalities.☆12Jun 28, 2017Updated 8 years ago
- Configuración de Neovim con lua☆12Jun 14, 2022Updated 3 years ago
- LaTeX sleek beamer template☆10Oct 16, 2023Updated 2 years ago
- Asynchronous client library for interacting with the Beanstalkd work queue.☆16Feb 1, 2024Updated 2 years ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- My neovim setting written by 100% lua 🧪☆10Oct 26, 2025Updated 3 months ago
- ☆12Jan 9, 2026Updated last month
- ☆19Jul 30, 2024Updated last year
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 9 months ago
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Updated this week
- Just an example I wrote for a tc ebpf classifier (cls_bpf)☆15May 3, 2021Updated 4 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 8 years ago
- "Simulator" with instruction tracing and deterministic timing for x86 programs☆11Nov 17, 2022Updated 3 years ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- Another Rust BitTorrent implementation☆14Mar 31, 2024Updated last year
- ☆11Sep 10, 2021Updated 4 years ago
- My personal dotfiles for my linux desktop☆10Updated this week
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Various and sundry shell scripts used on my system☆20Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Wicked fast, thread safe in-memory key/object store for C++☆12Dec 8, 2016Updated 9 years ago
- Ubuntu 一键装机☆11May 4, 2017Updated 8 years ago
- Scripts used to setup a Spark cluster on EC2☆21Mar 24, 2016Updated 9 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 11 years ago