Hilfe bei der Auswahl des Bertiebsystems

Hallo,

Ich bin momentan auf der Suche nach einem geeigneten „Hard Real Time“ 
Betriebssystem für von uns entwickelte Zynq-Steuerplatine. Da es um 
Multicore Prozessor handelte sollte es ein SMP System sein. Ich habe da 
mal mich umgesehen was auf dem Markt vorhanden ist und bin zum Schluss 
gekommen, dass es relativ viele Kandidaten in die Auswahlliste sich 
befinden:

-  Windows Embedded 7.0
-  QNX Neutrino
-  VxWorks

Es existiert ein Referenz-BSP von Adeneo, Kostenpunkt 5000$ was aber in 
diesem Fall zweitrangig ist. Viel wichtiger für mich wäre wie schnell 
man einen Treiber  z.B. für AXI-Bus in das System einbinden kann. Die 
Entwicklungsumgebung mit Debug  Möglichkeit ist ein zweiter Punkt.
Hätte jemand Erfahrung mit bei der Entwicklung des Treibers für diese 
Systeme? Was würdet Ihr bevorzugen?

Als letzte Alternative könnte man RL vom Keil und Freertos in dem 
Betracht ziehen. Da weiss ich allerdings nicht, ob die Multicore 
unterstützen.

Vielen Dank