SecureSMX RTOS
☆24Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for SecureSMX
Users that are interested in SecureSMX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of a…☆20Jan 8, 2026Updated 9 months ago
- Microkernel and Hypervisor platform designed for hard real-time systems demanding high performance and high assurance☆28Sep 30, 2026Updated last month
- Safety-Critical bootloader, written by following MISRA guidelines☆29Dec 2, 2025Updated 10 months ago
- An open silicon CHERIoT Ibex microcontroller chip☆19May 23, 2025Updated last year
- The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....☆12Updated this week
- 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.
- Embedded C++26 container library with C++ and C23 APIs for bare-metal MCUs, RTOS firmware, and embedded Linux MPUs. Ring buffers, lock-fr…☆56Updated this week
- Design By Contract (DBC) for embedded C and C++☆25Jan 30, 2023Updated 3 years ago
- Xen Test Framework☆10Oct 30, 2025Updated last year
- Front-end for Spin to generate swarm verification scripts☆13Mar 10, 2019Updated 7 years ago
- MicroROS on RT-Thread (ROS2).☆35Oct 31, 2022Updated 4 years ago
- 🍒 Rust - Experimental port of Rust to CHERI architectures☆16Oct 22, 2026Updated last week
- A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads☆44Mar 23, 2026Updated 7 months ago
- NOVA Microhypervisor☆11Aug 25, 2026Updated 2 months ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SoftWire lets you create new functions at run-time using functions and constructs which closely resemble x86 syntax, entirely within C++.…☆37Aug 25, 2014Updated 12 years ago
- binary ninja related code☆37Mar 27, 2025Updated last year
- ☆17Dec 14, 2025Updated 10 months ago
- Proof-of-concept code for understanding the allow-jit entitlement on macOS☆39Feb 19, 2026Updated 8 months ago
- This project aims to create a clean, modern and easy to use Bluetooth Low Energy API. LittleB exposes the BLE GATT API for Pure C using B…☆16Jan 3, 2023Updated 3 years ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆13Sep 30, 2024Updated 2 years ago
- Simple Intel VT-x type-2 hypervisor for 64-bit Linux.☆20Aug 18, 2020Updated 6 years ago
- Bootstrapping a C compiler from scratch☆17Jul 3, 2023Updated 3 years ago
- A Behaviour Tree framework for embedded devices built on the Zephyr Project. Efficient and modular control flow for real-time systems.☆13Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fully Randomized Pointers☆19Jun 10, 2025Updated last year
- This is a crash for Brave Browser I found in New Years Eve, used to be a 0day when I found it☆18Feb 2, 2023Updated 3 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 10 years ago
- L4Ka::Afterburner virtualization project☆19Oct 13, 2011Updated 15 years ago
- Capability-based real-time separation kernel for secure embedded RISC-V.☆21Updated this week
- An implementation of EndpointSecurity on the 5BSD kernel.☆18May 31, 2026Updated 5 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆50Jan 15, 2024Updated 2 years ago
- A simple serial console utility☆18May 4, 2026Updated 5 months 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.
- ☆19Oct 31, 2022Updated 4 years ago
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- Arinc653 abstraction library for hypervisor independent partition programming☆12Dec 16, 2025Updated 10 months ago
- Fault injection tool☆13May 5, 2026Updated 5 months ago
- tool to extract Android image☆10Sep 24, 2019Updated 7 years ago
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Feb 24, 2018Updated 8 years ago
- A simple Windows QEMU virtual machine manager☆11May 19, 2021Updated 5 years ago