jgrivera67

HiRTOS. HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

make-with-ada. Ada projects for Make-with-Ada

zephyr_ada. Zephyr Ada Apps

gnat-runtime-libs-for-kinetis-microcontrollers. Ada

aarch64_bare_metal_ada. AArch64 bare-metal Ada code

McRTOS. C

portable_minimal_ada_rts. Portable Minimal Ada Runtime Library

ada-linux. Ada

Embeddded-Systems-Labs. Embedded Systems Class Labs

ada-teaching. Ada

ada-mentoring.

frdm_kl25z_autonomous_car. Ada

stcc. Strong-Typed C Compiler

alire-index. Community index for the Alire project

embedded-runtimes. runtimes that add support for various boards to the GNAT GPL compiler for ARM

Ada_Drivers_Library. Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.