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:
- FreeRTOS BSP for Boundary Devices platforms☆12Mar 14, 2025Updated last year
- OLD REPOSITORY, new one at repo.rumpkernel.org/rumprun☆44Apr 13, 2015Updated 11 years ago
- ☆21Dec 14, 2019Updated 6 years ago
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 8 years ago
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11May 14, 2017Updated 9 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Mar 29, 2021Updated 5 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
- Minimal Viable Illumos☆20Aug 2, 2026Updated 3 weeks ago
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 4 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Jul 12, 2016Updated 10 years ago
- simple dmabuf eglimage example☆10Sep 18, 2014Updated 11 years ago
- official git-svn mirror for smp_utils. Serial Attached SCSI (SAS) Management Protocol (SMP)☆17Jun 9, 2026Updated 2 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.
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 10 years ago
- ☆21Jul 13, 2020Updated 6 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆28Jun 1, 2026Updated 2 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.☆28Oct 11, 2023Updated 2 years ago
- Using LibVMI to detect malware☆33Apr 3, 2022Updated 4 years ago
- ☆60Aug 8, 2022Updated 4 years ago
- Weithenn's Ansible Playbooks.☆12Jun 5, 2025Updated last year
- The aim of this project is to allow a self driving car to steer autonomously in a virtual environment.☆24Nov 21, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Jul 28, 2014Updated 12 years ago
- NVDLA modifications for GreenSocs qbox (https://git.greensocs.com/qemu/qbox)☆31Aug 23, 2018Updated 8 years ago
- BOT browser and introspector for Light Table☆20Sep 3, 2014Updated 11 years ago
- A curated list of awesome kernel resources.☆13May 6, 2017Updated 9 years ago
- Autonomous Multi-Rotor Landing Using Vision☆14Jun 30, 2014Updated 12 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated last month
- Automatic generation of the illumos Hardware Compatability List☆23Mar 2, 2021Updated 5 years ago
- Xvisor: eXtensible Versatile hypervISOR☆626Jul 7, 2026Updated last month
- Project 3 Udacity Self Driving Car Nanodegree☆19Feb 1, 2017Updated 9 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.
- EventDrivenEmbeddedFramework is simple framework written in pure C to make development much faster and easier without sacrificing flexibi…☆16Jul 1, 2013Updated 13 years ago
- ☆10Aug 6, 2026Updated 3 weeks ago
- Object-oriented matrix implementation in C99☆14Apr 7, 2017Updated 9 years ago
- Unofficial port of TNKernel RTOS for RX mcu☆14Jan 20, 2013Updated 13 years ago
- ☆14Jun 16, 2015Updated 11 years ago
- Windows 64-bits driver☆17Dec 1, 2017Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago