hi,
i am trying to run neutrino RTOS on SPC58ECX (ST Chorus microcontroller). It's a 32 bit microcontroller, power 
architecture, has 384KB on chip SRAM and 4224KB on chip flash. Is this enough for running QNX neutrino? where could i 
get the IFS for this board? Thank you.