Реализация интерфейса для SD-карты на ПЛИС

[ivagor]

Я как-то делал загрузчик с SD-карты. В качестве процессова использовал MIPS-I (Plasma с OpenCores). Писал на си, компилировал GCC4.6.8
В итоге получился бинарник размером около 4200 байт. Урезать до 4Кб так и не получилось
Использовал PetitFatFS от Чана. Поддерживалось только чтение FAT12/FAT16/FAT32 с SD/SDHC картами.

Есть ли планы когда-нибудь открыть исходники этой штуки? Это только загрузчик, без рудиментарного оса, как у b2mа? Насколько я понимаю, нечто подобное (sd loader или что-то в этом роде) сделал HardWareMan для специалиста, только код там исполняется на 580ВМ80