XtratuM Mirror
☆20Apr 7, 2017Updated 9 years ago
Alternatives and similar repositories for XtratuM
Users that are interested in XtratuM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Feb 28, 2021Updated 5 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated 2 months ago
- Xilinx Zynq SoC based all-in-one quadrocopter flight controller. Stereo 720p side-by-side digital video transmission.☆18Mar 10, 2021Updated 5 years ago
- Automated Git mirror of Gaisler's GRLIB/Leon3 releases☆21Nov 2, 2025Updated 7 months ago
- MDX — A bare-metal / RTOS framework☆29Apr 10, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is the source of the seL4 docs.☆18Updated this week
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆29Jan 6, 2024Updated 2 years ago
- ☆12Jun 3, 2026Updated last week
- ☆11Mar 17, 2021Updated 5 years ago
- Unified modular arceos-hypervisor☆46Apr 8, 2026Updated 2 months ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆14Feb 1, 2023Updated 3 years ago
- ☆22Mar 1, 2026Updated 3 months ago
- ☆10Sep 26, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆23May 24, 2015Updated 11 years ago
- ☆10Dec 29, 2015Updated 10 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆81Updated this week
- BeagleBone(Black) QEMU emulation☆13Mar 15, 2014Updated 12 years ago
- Provides the CMSIS-RTOS wrapper for Azure RTOS ThreadX library part of the STM32Cube MCU Component "middleware" for all STM32xx series.☆16Dec 19, 2025Updated 5 months ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- CAN FD IP Core in VHDL☆59May 14, 2026Updated 3 weeks ago
- Jailhouse demonstration and testing images☆64Feb 18, 2024Updated 2 years ago
- systrace for Linux Desktop/Server☆23Jun 14, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆86Apr 29, 2018Updated 8 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated last year
- ☆11Mar 28, 2024Updated 2 years ago
- ☆14Dec 10, 2019Updated 6 years ago
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- i.MX Jaihouse Hypervisor☆12Mar 8, 2026Updated 3 months ago
- Bonfire SoC running on FireAnt FPGA Board☆12Feb 11, 2024Updated 2 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago
- Select which local O/S to boot by asking a network server☆13Jul 4, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sources for the UEFI experiments on https://krinkinmu.github.io/☆36Oct 24, 2023Updated 2 years ago
- Rockchip's libRGA source unofficial mirror☆14Feb 6, 2026Updated 4 months ago
- This repository contains a reference design based on the ASM2464PD for a USB4 to PCIe M.2 converter☆18Sep 23, 2024Updated last year
- BSD compatibility library (mirror)☆14May 18, 2026Updated 3 weeks ago
- This repo is for Efinix Xyloni development board users. It has projects and software to get you started working with the board.☆46Jan 16, 2023Updated 3 years ago
- ☆18May 12, 2026Updated 3 weeks ago
- 10 Gbit/s flexible and extensible Ethernet FPGA-based traffic generator☆11Oct 3, 2014Updated 11 years ago