The Contiki Operating System with stm32f4discovery support This version of contiki adds support for the stm32f4 mcu and the discovery board + baseboard with ethernet.