play with ST's STM32F4 Discovery board in an all-Linux environment