Board support package for the Freescale QorIQ platform: http://en.wikipedia.org/wiki/QorIQ Boards known to work P1020RDB, MVME2500, T2080RDB and T4240RDB. Boot via U-Boot and FDT support is mandatory. Use mkimage -A ppc -O linux -T kernel -a 0x4000 -e 0x4000 -n RTEMS -d app.bin.gz app.img to create a bootable image. You must use the "linux" image type to enable the dynamic FDT adjustment by U-Boot. Boot it for example via the tftp 1000000 app.img tftp c00000 p1020rdb.dtb bootm 1000000 - c00000 U-Boot commands. For a Topaz hypervisor guest configuration use: rtems/configure --enable-rtemsbsp=qoriq_e6500_32 \ QORIQ_IS_HYPERVISOR_GUEST=1 \ QORIQ_UART_0_ENABLE=0 \ QORIQ_UART_1_ENABLE=0 \ QORIQ_TLB1_ENTRY_COUNT=16 You may have to adjust the linker command file according to your partition configuration.