lbuild module: modm:board:devebox-stm32f4xx
modm:board:devebox-stm32f4xx
This board has no serial port and logs via RTT instead.