I’m using RTIC for the firmware on my STM32H7 based product (https://umi.engineering) and it has been a joy.