STM32F407+FreeRTOS+Webserver+SD-Karte

Hallo,
hat jemand schon einmal einen STM32F407+FreeRTOS+Webserver+SD-Karte zum 
Laufen bekommen?
Ich möchte nicht alles selbst entwickeln, sondern wenn möglich, Code 
wiederverwenden.
Bei Tante Google finde ich einige Projekte mit Cortex-M3, aber nicht mit 
dem STM32F4 (ich nutze das STM32F4Discovery Board)

Einige kleine Dinge habe ich mit dem F4 schon gemacht, aber das FreeRTOS 
ist Neuland, daher wäre eine kleine Unetrstützung hilfreich.

SD-Karte entweder mit SPI oder SDIO, Ethernet über ENC28J60 oder 
DP83848.

Vielen Dank!