A tiny real-time kernel focusing on formal reliability and simplicity.
-
Updated
Apr 1, 2025 - C
8000
A tiny real-time kernel focusing on formal reliability and simplicity.
De novo genome assembly and multisample variant calling
A simple library for STM32 microcontrollers to drive 16x2 LCD displays based on the HD44780 controller
UART bootloader for SAMD10 series
Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) based on the ARINC 653 Part 1 specification
A collection of notes, examples, projects, and animations for learning STM32 microcontrollers and embedded systems development.
A cookiecutter template for bringing up cortex-m based bare-metal projects.
Multiplatform asynchronous library for C
Add a description, image, and links to the cortex topic page so that developers can more easily learn about it.
To associate your repository with the cortex topic, visit your repo's landing page and select "manage topics."