A tiny real-time kernel focusing on formal reliability and simplicity.
-
Updated
Sep 3, 2024 - C
A tiny real-time kernel focusing on formal reliability and simplicity.
De novo genome assembly and multisample variant calling
UART bootloader for SAMD10 series
A simple library for STM32 microcontrollers to drive 16x2 LCD displays based on the HD44780 controller
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
Bootloader with TFTP Server
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."