Xen
☆26Jun 14, 2026Updated 2 weeks ago
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
- Upstream gcc + xilinx branches☆18Jan 14, 2015Updated 11 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Apr 7, 2022Updated 4 years ago
- ☆13Oct 29, 2012Updated 13 years ago
- XtratuM Mirror☆20Apr 7, 2017Updated 9 years ago
- npm801☆15Jun 29, 2018Updated 8 years ago
- ARM Trusted Firmware☆36Jun 15, 2026Updated 2 weeks ago
- ☆30Updated this week
- rt-thread openamp☆14Dec 25, 2020Updated 5 years ago
- An install script to install Gnu Radio and BladeRF on a Raspberry Pi☆15Nov 4, 2023Updated 2 years ago
- Package Xilinx FPGA tools into docker containers, useful for CI situations.☆17Oct 20, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A project template for using GCC with the STM32F4Discovery Kit.☆18Feb 27, 2013Updated 13 years ago
- OpenAMP Documents and Specifications☆14Updated this week
- Sunxi Mali-400 proprietary support libraries.☆15Jan 27, 2016Updated 10 years ago
- Axiom Alpha prototype hardware source files (electronic schematics, documentation, PCB layouts, etc.)☆22Jun 10, 2014Updated 12 years ago
- PCB files for the Adafruit Feather M0 RFM69 / RFM9X LoRa☆18Jul 12, 2024Updated last year
- RTOS for embedded systems☆15Sep 19, 2024Updated last year
- QubesOS dom0 automation in Python☆13Aug 3, 2017Updated 8 years ago
- ☆23Jun 15, 2026Updated 2 weeks ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆82Jun 6, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple, kernel-space, on-disk filesystem from the scratch☆13Apr 16, 2018Updated 8 years ago
- ☆21Jun 14, 2026Updated 2 weeks ago
- ☆10Jun 15, 2026Updated 2 weeks ago
- ☆20Jun 16, 2026Updated 2 weeks ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Apr 22, 2026Updated 2 months ago
- SystemVerilog RTL and UVM RAL model generators for RgGen☆17Apr 19, 2026Updated 2 months ago
- The Core Flight System (cFS) Sample Library (sample_lib)☆12May 18, 2026Updated last month
- an abstraction layer across user-space Linux, baremetal, and RTOS environments☆25Jun 14, 2026Updated 2 weeks ago
- ☆12Aug 20, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SpaceWire☆14Jul 17, 2014Updated 11 years ago
- NXPAndroidDTA☆17Dec 10, 2025Updated 6 months ago
- The Core Flight System (cFS) Table CRC Tool (tblCRCTool)☆15May 14, 2026Updated last month
- Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.☆24Jan 11, 2013Updated 13 years ago
- Implementation of the CCSDS TM and TC standards for the AcubeSAT nanosatellite☆17Dec 22, 2025Updated 6 months ago
- Xen hypercall and interfaces in Rust☆20Jan 14, 2025Updated last year
- ☆11Sep 7, 2017Updated 8 years ago