/rtems/config/5/bsps/
../
beagleboneblack.bset
raspberrypi2.bset
xilinx_zynq_zc702.bset
xilinx_zynq_zc706.bset
xilinx_zynq_zedboard.bset