configure/os/CONFIG.Common.RTEMS-at91rm9200ek
configure/os/CONFIG.Common.RTEMS-beagleboneblack
configure/os/CONFIG.Common.RTEMS-beatnik
configure/os/CONFIG.Common.RTEMS-gen68360
configure/os/CONFIG.Common.RTEMS-mcp750
configure/os/CONFIG.Common.RTEMS-mvme167
configure/os/CONFIG.Common.RTEMS-mvme2100
configure/os/CONFIG.Common.RTEMS-mvme2700
configure/os/CONFIG.Common.RTEMS-mvme3100
configure/os/CONFIG.Common.RTEMS-mvme5500
configure/os/CONFIG.Common.RTEMS-pc386
configure/os/CONFIG.Common.RTEMS-pc386-qemu
configure/os/CONFIG.Common.RTEMS-pc686
configure/os/CONFIG.Common.RTEMS-pc686-qemu
configure/os/CONFIG.Common.RTEMS-psim
configure/os/CONFIG.Common.RTEMS-qoriq_e500
configure/os/CONFIG.Common.RTEMS-uC5282
configure/os/CONFIG.Common.RTEMS-xilinx_zynq_a9_qemu
configure/os/CONFIG.Common.RTEMS-xilinx_zynq_zedboard