modm API documentation
STM32F4XX mcudev DevEBox

lbuild module: modm:board:devebox-stm32f4xx

This board has no serial port and logs via RTT instead.