Xen
☆26Sep 9, 2026Updated last month
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Upstream crosstool-ng + xilinx branches☆15Mar 23, 2014Updated 12 years ago
- Revision Control Labs and Materials☆26Jan 23, 2018Updated 8 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- FreeRTOS for Jailhouse Cells☆54Mar 22, 2023Updated 3 years ago
- Upstream gcc + xilinx branches☆18Jan 14, 2015Updated 11 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.
- Virtual machine monitor for L4Re☆36Updated this week
- ☆18Apr 7, 2022Updated 4 years ago
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- ☆13Oct 29, 2012Updated 13 years ago
- npm801☆15Jun 29, 2018Updated 8 years ago
- ☆29Aug 14, 2026Updated last month
- ARM Trusted Firmware☆36Sep 9, 2026Updated last month
- ☆20Sep 21, 2026Updated 2 weeks ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆52Aug 12, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- rt-thread openamp☆14Dec 25, 2020Updated 5 years ago
- Package Xilinx FPGA tools into docker containers, useful for CI situations.☆17Oct 20, 2014Updated 11 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆85Aug 4, 2026Updated 2 months ago
- ls in tree style.☆15Apr 4, 2012Updated 14 years ago
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- ☆11Sep 7, 2017Updated 9 years ago
- ☆23Sep 9, 2026Updated last month
- A simple, kernel-space, on-disk filesystem from the scratch☆13Apr 16, 2018Updated 8 years ago
- Tutorial on how to boot Zephyr on the Avnet/Digilent Zedboard, includes building a FPGA bitstream and the First Stage Boot Loader (FSBL)☆20Sep 21, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Sep 9, 2026Updated last month
- Exynos 7580 Common Tree☆14Aug 22, 2019Updated 7 years ago
- an abstraction layer across user-space Linux, baremetal, and RTOS environments☆25Sep 9, 2026Updated last month
- ☆22Nov 18, 2016Updated 9 years ago
- ☆22Mar 1, 2026Updated 7 months ago
- The Core Flight System (cFS) Sample Library (sample_lib)☆12Sep 24, 2026Updated 2 weeks ago
- NFC_NCIHAL_base☆17Feb 13, 2025Updated last year
- SpaceWire☆14Jul 17, 2014Updated 12 years ago
- Steam Deck Ubisoft Rockstar and EA Launcher Deduplication Script☆24Nov 4, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The Core Flight System (cFS) Table CRC Tool (tblCRCTool)☆16Updated this week
- ☆16Nov 14, 2016Updated 9 years ago
- NXPAndroidDTA☆17Jul 1, 2026Updated 3 months ago
- ☆10Dec 29, 2015Updated 10 years ago
- Yocto layer to support the Parallella board from Adapteva☆20Oct 20, 2019Updated 6 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