Цитата(mSimple @ Oct 12 2011, 12:45)

Имеем ПЛИС Xilinx с системой на PowerPC405. По верхним адресам, начиная с 0xF000 0000 до 0xFFFF FFFF подключена FLASH S29GL512P. Нужно записать загрузчик (RedBoot) как это проще сделать? Наверняка в EDK есть инструменты для этого или что-то нужно городить самому?
В EDK такие инструменты есть.
Когда будете записывать (вкладка program flash) программу(образ) во флэш, отметьте галочку generate bootloader.
После чего в applications у вас появится проект с исходниками загрузчика. Все это дело надо слинковать в BRAM (загрузочная область памяти на BRAM) и собрать.
Далее полученный elf файл слить с битстримом железячного проекта (утилит data2mem).
После проливки битстрима загрузчик вытянет софт из флэшки, перепишет в оперативную память и отдаст управление по адресу в оперативной памяти.