Clone of miosix from http://gitorious.org/miosix-kernel, just to tune the settings for my stm32 f4 discovery board