intel / xenomaiLinks
This project contains the scripts to setup a Xenomai(xenomai.org) powered real-time co-kernel Linux distribution.
☆13Updated 2 years ago
Alternatives and similar repositories for xenomai
Users that are interested in xenomai are comparing it to the libraries listed below
Sorting:
- Eclipse Trace Compass☆27Updated last week
- RRT (Rapidly-exploring Random Tree) library in Rust☆38Updated 5 months ago
- Linux UIO Library in Rust☆19Updated 8 months ago
- A generic and safe Firmware Over-The-Air (FOTA) agent for Embedded and Industrial Linux-based devices☆124Updated 2 weeks ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆33Updated 3 years ago
- Provides a way to monitor cryptographic operations performed on a system☆17Updated 8 months ago
- Main Repo for the OpenHW Group Software Task Group☆17Updated 4 months ago
- ARMv7-M ITM packet protocol decoder library crate and CLI tool.☆21Updated last year
- Userland apps for Tock written in C and C++☆85Updated this week
- Tool to create Tock Application Bundles from ELF files.☆18Updated last month
- A Confidential Computing-Aware Workload Repository☆10Updated last week
- Generator of ANSI C tracers which output CTF data streams☆72Updated last week
- An optimized Ring Buffer implementation based on the POSIX shared memory trick☆16Updated last year
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Updated 4 years ago
- Geometric models of OpenCV/ROS cameras for photogrammetry☆14Updated 3 months ago
- ☆35Updated last year
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 6 years ago
- The seL4 microkernel☆26Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated this week
- A custom Cargo runner that runs Rust firmware in the renode emulator☆11Updated 2 months ago
- Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570☆29Updated 4 years ago
- nRF52840-DK BSP☆22Updated 3 years ago
- A 5-stage pipelining RISC-V 32I simulator written in Rust.☆19Updated 4 years ago
- Rust Read-Evaluate-Print-Loop utility crate☆15Updated 2 years ago
- ☆12Updated 2 months ago
- Corny COBS encode/decode for Rust no_std targets☆21Updated 2 years ago
- Comedi standalone Linux kernel modules☆34Updated 2 weeks ago
- DWARF program analysis crate☆19Updated last year
- Tiny C library written in Rust☆59Updated 7 months ago
- Software bootloader for boards running Tock.☆27Updated last year