FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
☆47Jun 14, 2019Updated 7 years ago
Alternatives and similar repositories for FreeRTOS-Xen
Users that are interested in FreeRTOS-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:
- ☆21Feb 13, 2019Updated 7 years ago
- ☆21Dec 14, 2019Updated 6 years ago
- ☆29Feb 28, 2016Updated 10 years ago
- ptnetmap source code☆14Mar 17, 2016Updated 10 years ago
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 3 years ago
- 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.
- c++ 17 single header event-system☆11Sep 1, 2021Updated 5 years ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Dec 21, 2013Updated 12 years ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆32Mar 3, 2022Updated 4 years ago
- ☆12Apr 15, 2023Updated 3 years ago
- ☆20Aug 4, 2022Updated 4 years ago
- Project ACRN Documentation Publishing Site☆13Nov 5, 2024Updated last year
- Clone of Dune http://dune.scs.stanford.edu/☆20Jan 29, 2014Updated 12 years ago
- Native Linux KVM Tool☆51Aug 25, 2015Updated 11 years ago
- Flexible Virtualization Solution for Embedded System☆267Jun 3, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 4 years ago
- An example of how to use Avalon interrupts on the Cyclone V FPGA☆14May 25, 2014Updated 12 years ago
- The LITMUS^RT userspace library and tools.☆12Jan 17, 2018Updated 8 years ago
- FreeRTOS with LwIP integration in the Nios II EDS☆20Jan 30, 2016Updated 10 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆28Jun 1, 2026Updated 4 months ago
- Reproduce the experiment of the Per-Title_Encode_Optimization proposed by Netflix☆13Oct 12, 2017Updated 8 years ago
- Orbtrace & supporting hardware circuit diagrams etc.☆30Oct 11, 2023Updated 2 years ago
- ☆60Aug 8, 2022Updated 4 years ago
- Weithenn's Ansible Playbooks.☆12Jun 5, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Jul 28, 2014Updated 12 years ago
- Raspberry Pi version information module for Python, useful for debugging and model detection☆12Sep 15, 2020Updated 6 years ago
- NVDLA modifications for GreenSocs qbox (https://git.greensocs.com/qemu/qbox)☆32Aug 23, 2018Updated 8 years ago
- a Renju game, replicate paper "Mastering the game of Go with deep neural networks and tree search"☆20Jun 29, 2016Updated 10 years ago
- ☆12Sep 26, 2025Updated last year
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated 3 months ago
- EventDrivenEmbeddedFramework is simple framework written in pure C to make development much faster and easier without sacrificing flexibi…☆16Jul 1, 2013Updated 13 years ago
- Object-oriented matrix implementation in C99☆14Apr 7, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Unofficial port of TNKernel RTOS for RX mcu☆14Jan 20, 2013Updated 13 years ago
- Windows 64-bits driver☆18Dec 1, 2017Updated 8 years ago
- a very simple interpreter for c, inspired by c4, but it is embedded☆12Jul 6, 2018Updated 8 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆16Sep 7, 2026Updated last month
- Test suite for Capsicum☆45Feb 9, 2026Updated 8 months ago
- dummy Linux kernel module for education purpose☆12Mar 11, 2015Updated 11 years ago
- openSUSE branding for the distribution - both branding-openSUSE and branding-baseonopensuse☆32Jun 10, 2025Updated last year