В данный момент, образ ядра и файловой системы я копирую через XMD (средство Xilinx EDK) прямо в память и потом запускаю.
Надо к линуху как то подключить SD/MMC карточку.
Замысел мой такой:
1) Образ самой uClinux хранится на карточке с FAT16, пока точно не решил в виде файла или в областях зарезервированных секторов
2) Пишу загрузчик, который копирует этот образ в память
3) Запускаю uClinux
4) Монтирую флешку
Я пока слабо представляю, как написать драйвер для флешки и что собственно этот драйвер должен из себя представлять

ЗЫ т.к. у меня будет еще внешний контроллер, в будующем я хочу и прошивку FPGA то же хранить в виде файла на карточке и с нее грузить FPGA