Напишите свой загрузчик.
Мы уместились в 4К BRAM.
ELF легко разобрать, например, с помощью прикрепленного исходника, выкинув, естественно, лишнее.
Мы так и сделали.
Средствами EDK не пользуемся, складываем ELF на флешку.
Небольшая проблема встретится с секцией .boot, которая должна быть расположена по 0xFFFFFFFC (адрес старта проца после reset). Этот адрес обычно за пределами DDR, в BRAM, а у нас там - загрузчик

. Но там лежит всего одна команда - переход на секцию .boot0, котроую надо поместить (как и все остальные секции) в DDR. Мы обошли это дело так: секцию .boot не грузим, берем из нее адрес перехода, и передаем управление по этому адресу. Это все относится к standalone, но, думаю, ELF бинарь линукс устроен примерно так же. Скомпильте предлагаемый исходник на писюке, скормите ему ваш ELF, распечатайте секции...
Удачи.
PS не могу прикрепить файл

сообщите Ваш e-mail, пришлю...
PPS вопрос, скорее, в раздел "Системы на ПЛИС"
Также могу прислать описание формата ELF