GaloisInc / FreeRTOS-XenView external linksLinks
FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
☆46Jun 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
Sorting:
- ☆21Feb 13, 2019Updated 7 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Nov 11, 2025Updated 3 months ago
- FreeRTOS BSP for Boundary Devices platforms☆11Mar 14, 2025Updated 11 months ago
- ☆11May 14, 2017Updated 8 years ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Dec 21, 2013Updated 12 years ago
- ☆61Aug 8, 2022Updated 3 years ago
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 8 years ago
- Orbtrace & supporting hardware circuit diagrams etc.☆22Oct 11, 2023Updated 2 years ago
- Autonomous Multi-Rotor Landing Using Vision☆14Jun 30, 2014Updated 11 years ago
- ☆50Feb 9, 2026Updated last week
- The Hedron Microhypervisor☆82Oct 8, 2023Updated 2 years ago
- VP8 GPGPU encoder (video codec, GPU, OpenCL)☆23Apr 26, 2014Updated 11 years ago
- openembedded meta layer containing recipes for TPM / TCG software☆20May 8, 2022Updated 3 years ago
- ☆20Jul 7, 2016Updated 9 years ago
- Debugger For Cortex-M MCUs (Linux & OSX)☆27Apr 14, 2022Updated 3 years ago
- Peer-to-Peer Computing Platform for the Browser and Node.☆19Feb 26, 2023Updated 2 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
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Oct 8, 2025Updated 4 months ago
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆22Nov 12, 2020Updated 5 years ago
- ☆21Jul 13, 2020Updated 5 years ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆31Mar 3, 2022Updated 3 years ago
- A utility to generate an Arduino file from a selection of Firmata features.☆27Dec 26, 2025Updated last month
- Template PCB's for SYZYGY board designs☆28Aug 15, 2022Updated 3 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
- A 3D printed raspberry pi ROS robot☆24Jul 30, 2015Updated 10 years ago
- Project 3 Udacity Self Driving Car Nanodegree☆19Feb 1, 2017Updated 9 years ago
- NVDLA modifications for GreenSocs qbox (https://git.greensocs.com/qemu/qbox)☆30Aug 23, 2018Updated 7 years ago
- Using LibVMI to detect malware☆32Apr 3, 2022Updated 3 years ago
- ☆17Jan 23, 2025Updated last year
- CDT Cloud Blueprint is a template for building custom web-based C/C++ tools. It is made up of existing open source components and can be …☆29Updated this week
- Python script for programming the iCEBlink40 development board under linux☆34Jun 29, 2018Updated 7 years ago
- Zephyr RTOS based Vehicle Management Unit☆32Jan 25, 2026Updated 3 weeks ago
- Dynamic instrumentation of the Linux kernel☆41Feb 24, 2015Updated 10 years ago
- Multi-protocol exchange broker for IoT within the 5G-and-Beyond networks, and primary emphasis on scalability.☆12Jan 29, 2024Updated 2 years ago
- Simplicity SDK for Zephyr☆17Updated this week
- Discussion, files, spec, and more for a M.2 standard for makers☆34Dec 2, 2020Updated 5 years ago
- Using STM32F103x and VS1053 module to play MP3 files☆11Sep 18, 2016Updated 9 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- lbuild: a generic, modular code generator in Python 3☆42Nov 18, 2023Updated 2 years ago