FooBarTower: demonstrate adding an unrelated module
FooBarTower: demonstrate adding an unrelated module

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