I'm glad to see RTEMS port to Efika was choosen to be supported by Genesi/Freescale. From the several looks into the RTEMS CVS sources, it seems I will need to enhance generic BSP for MPC5200 adding support for 5200B version and most importantly hack booting process to hook into the Efika's OpenFirmware. I prefer #ifdefing gen5200 BSP because of heavy code reuse and why is this bsp called ``generic'' 5200 then? :-)
So in the meantime while waiting for Efika to be delivered to my location, I'm playing with RTEMS's internals configuration just to get an idea how to add virtual BSP using gen5200 BSP.

Karel