type Platform = enumeration(unknown "Unknown STM32F4 Board", STM32F4DISC "STM32F4 Discovery", ARMCR4 "STM32F4 ...");