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:
- raid is a GDB-like tiny debugger which is based on ptrace.☆16Jul 27, 2022Updated 3 years ago
- FreeRTOS BSP for Boundary Devices platforms☆11Mar 14, 2025Updated last year
- ☆29Feb 28, 2016Updated 10 years ago
- ☆21Dec 14, 2019Updated 6 years ago
- ☆11May 14, 2017Updated 9 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.
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 8 years ago
- An example of how to use Avalon interrupts on the Cyclone V FPGA☆15May 25, 2014Updated 11 years ago
- c++ 17 single header event-system☆10Sep 1, 2021Updated 4 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…☆31Mar 3, 2022Updated 4 years ago
- NOVA userland☆49Jan 6, 2014Updated 12 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Apr 27, 2026Updated 3 weeks ago
- ☆59Aug 8, 2022Updated 3 years ago
- ☆20Aug 4, 2022Updated 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.
- Project ACRN Documentation Publishing Site☆13Nov 5, 2024Updated last year
- Native Linux KVM Tool☆51Aug 25, 2015Updated 10 years ago
- Merry Christmas from the SUSE PACK team☆12Dec 17, 2019Updated 6 years ago
- 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☆264Feb 21, 2024Updated 2 years ago
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 4 years ago
- A distributed hardware testing framework☆24Updated this week
- simple dmabuf eglimage example☆10Sep 18, 2014Updated 11 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆11May 7, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Linux kernel source tree☆21Aug 6, 2024Updated last year
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 9 years ago
- FreeRTOS with LwIP integration in the Nios II EDS☆19Jan 30, 2016Updated 10 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆26Oct 8, 2025Updated 7 months ago
- C++ REPL for bare-metal embedded devices☆29Jan 31, 2023Updated 3 years ago
- UNMAINTAINED: this project is not currently active. no plan to restart it soon☆26Sep 20, 2013Updated 12 years ago
- Reproduce the experiment of the Per-Title_Encode_Optimization proposed by Netflix☆13Oct 12, 2017Updated 8 years ago
- On cloud or premise, the AutoML controller for DeepCamera☆13Sep 1, 2022Updated 3 years ago
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆51May 11, 2026Updated last week
- Weithenn's Ansible Playbooks.☆12Jun 5, 2025Updated 11 months ago
- Orbtrace & supporting hardware circuit diagrams etc.☆26Oct 11, 2023Updated 2 years ago
- NVDLA modifications for GreenSocs qbox (https://git.greensocs.com/qemu/qbox)☆30Aug 23, 2018Updated 7 years ago
- 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