FreeRTOS on Microblaze Spartan 3e

Hallo,

Ich versuche gerade FreeRTOS (6.0.2) auf mein Spartan 3e Board zum 
laufen zu bekommen. Das Board ist via EDK 10 mit dem Microblaze SOC 
ausgestattet.

Es gibt ja einen Port für Microblaze/GCC, diesen bekomme ich auch 
compiliert. Wenn ich den aber aufs Board spiele, wird nur der 1te 
Prozess ausgeführt. Das liegt daran das kein Tick vom Timer kommt.

Jetzt hab ich nen patch gefunden, der genau dieses Problem für FreeRTOS 
v.5 auf edk 9.1 behebt:
http://vontaene.de/freertos_microblaze_ise_9.1/freertos_5.0_changes.txt

bringt aber keine Besserung bei mir. Jetzt wollt ich mal fragen ob sich 
damit jemand auskennt, und mir sagen kann wie ich da angreifen soll ?

man findet sehr wenig informationen, über das portieren auf eigene 
entwicklungsboards...




danke u gruß