Getting Started with Renode: Simulating an Ada STM32F429disco Blinky…

by Olivier Henley – Sep 05, 2024. I recently watched the talks from the 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024), which was held in Barcelona last June. One talk that stood out was "HiRTOS: a Multicore RTOS Written in SPARK Ada" by J. German Rivera. In…