towerprime-frontend: uses Tower.compile rather than FreeRTOS.compile
towerprime-frontend: uses Tower.compile rather than FreeRTOS.compile

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/tower,GaloisInc/ivory-tower-stm32