FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
☆47Jun 14, 2019Updated 6 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
- FreeRTOS BSP for Boundary Devices platforms☆11Mar 14, 2025Updated last year
- ☆21Dec 14, 2019Updated 6 years ago
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 8 years ago
- ptnetmap source code☆13Mar 17, 2016Updated 10 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.
- The Hedron Microhypervisor☆83Oct 8, 2023Updated 2 years ago
- An example of how to use Avalon interrupts on the Cyclone V FPGA☆15May 25, 2014Updated 11 years ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Dec 21, 2013Updated 12 years ago
- QML desktop☆31Oct 21, 2015Updated 10 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated this week
- ☆60Aug 8, 2022Updated 3 years ago
- ☆20Aug 4, 2022Updated 3 years ago
- ☆10Jul 30, 2017Updated 8 years ago
- Various libraries focused on examining/parsing NTFS-specific structures☆16Oct 25, 2015Updated 10 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.
- Native Linux KVM Tool☆51Aug 25, 2015Updated 10 years ago
- Isabelle LLVM Code Generator and Refinement☆29Updated this week
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Jul 12, 2016Updated 9 years ago
- Flexible Virtualization Solution for Embedded System☆265Feb 21, 2024Updated 2 years ago
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 3 years ago
- A distributed hardware testing framework☆24Apr 22, 2026Updated last week
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆11May 7, 2018Updated 7 years ago
- ☆21Jul 13, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- C++ REPL for bare-metal embedded devices☆27Jan 31, 2023Updated 3 years ago
- Using LibVMI to detect malware☆32Apr 3, 2022Updated 4 years ago
- Reproduce the experiment of the Per-Title_Encode_Optimization proposed by Netflix☆13Oct 12, 2017Updated 8 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆31Apr 23, 2026Updated last week
- Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.☆14Jul 19, 2018Updated 7 years ago
- malloc-based Box implementation for Rust.☆20Mar 8, 2024Updated 2 years ago
- ☆51Updated this week
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Raspberry Pi version information module for Python, useful for debugging and model detection☆12Sep 15, 2020Updated 5 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Mar 14, 2018Updated 8 years ago
- Final Year Thesis Project - Embedded Bluetooth Stack for AVRs☆16Jun 27, 2013Updated 12 years ago
- Algebraic Data Types for Ruby☆74Jan 15, 2015Updated 11 years ago
- JS lib to create responsive gauges, based on D3 and SVG.☆11May 31, 2019Updated 6 years ago
- Autonomous Multi-Rotor Landing Using Vision☆14Jun 30, 2014Updated 11 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 9 years ago