я некоторое время назад тоже искал готовый пример...
в итоге всё сам сделал. плата была fx12 nuhorizons с меленьким камнем.
сначала в edk изобретаешь свой компутер и тестиш что бы всё работало (память rs232 и прочий ethernet).
потом запускаешь на нем loader + u-boot из флеша
и вот этот линух например
http://git.secretlab.ca/ и будет тебе счастье. =)
(можно и от mvista линух взять но они его куда то убрали как я вижу)
главная трудность была на marvell phy доку найти... =(
т.к. без сети как то не уютно под линухом, да и вообще. =)