Posted on July 30, 2012 at 17:52Hi,
I have just posted the sources and the free based tools for Mac, Pc, Linux (scripts for gcc, openocd, etc.) of a uKernel working on the Discovery-stm32F407 based platform. The code is ready (soon also the documentation).
http://www.ukos.ch
