Experiment with procedural macros.
Hardware lab assignment for E7020E 2021
Examples for KLEE usage.
Peripheral access API for STM32F429X microcontrollers
HW Design of the LAB