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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- TRACE32-Scripts is a collection of board specific TRACE32 .cmm scripts(U-Boot/Linux via RNDIS)☆17Jan 9, 2025Updated last year
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 6 years ago
- Starting October 1, 2026, NVIDIA PSIRT will only publish security bulletins on GitHub in Markdown, CSAF, and CVE formats to meet industry…☆26Updated this week
- ☆37May 21, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for "Fast Sparse ConvNets" CVPR2020 submissions☆12Nov 20, 2019Updated 6 years ago
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆14Feb 1, 2023Updated 3 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆55Sep 17, 2026Updated last week
- TensorFlow Lite for Microcontrollers Python package for Raspberry Pi Zero☆13Jan 24, 2022Updated 4 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 2 months ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Tracking conferences in Real-time Embedded Systems, Cyber-Physical Systems and Robotics!☆136Updated this week
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- "Simulator" with instruction tracing and deterministic timing for x86 programs☆11Nov 17, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- (AAAI 2021) Official TensorFlow implementation of "Vector Quantized Bayesian Neural Network Inference for Data Streams", a temporal smoot…☆20Mar 24, 2023Updated 3 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago
- Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms☆12Apr 9, 2018Updated 8 years ago
- utility to report the core memory usage for a program☆12Mar 3, 2015Updated 11 years ago
- A tool for decomposing DRAM address mapping into component-level functions☆17Jun 12, 2025Updated last year
- ☆18Jun 26, 2025Updated last year
- RISC-V Soft CPU Security Contest by Thales and Microchip Technology☆12Jul 29, 2019Updated 7 years ago
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆21Apr 3, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆23Aug 22, 2022Updated 4 years ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Feb 9, 2021Updated 5 years ago
- RISC-V BSV Specification☆24Apr 28, 2026Updated 4 months ago
- ☆18Sep 18, 2026Updated last week
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- Sophgo AI chips driver and runtime library.☆27Updated this week
- Pure python pwgen☆31Jul 28, 2018Updated 8 years ago
- A fun OS course☆19Dec 28, 2020Updated 5 years ago
- Modular RISC-V implementation & SoC☆21Aug 29, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rocket Chip Generator☆13Jul 31, 2021Updated 5 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- Xen hypercall and interfaces in Rust☆19Aug 27, 2026Updated last month
- Supercharge your AI assistant with Seeed product expertise - Comprehensive API references and development guides for embedded systems☆25Sep 17, 2026Updated last week
- This is the source of the seL4 docs.☆19Updated this week