Betriebssystem für Microcontroller

Hallo,

ich muss demnächst einige Software-Lösungen für einen MPC 5567 
Microcontroller von Freescale realisieren. Und dafür wird die Zeit sehr 
kurz bemessen sein.

Gibt es für diesen Microcontroller evtl. schon Software auf Open Source 
Basis, die ich wiederverwenden könnte ? Falls jemand etwa darüber weiss, 
würde ich mich über Quellen freuen.

Im Speziellen habe ich da an einen Ethernet-IP-TCP-Stack für den im 
Controller verbauten Fast Ethernet Controller (FEC) oder etwa an ein 
Linux-basierendes abgespecktes Betriebssystem gedacht.

Über Antworten würde ich mich sehr freuen. Vielen Dank.