Hi,

the attached patches introduce basic barebox support for the Karo 
SO-DIMM TX51 SOC modules.
Note, that the code is not tested with the Starterkit development board 
as base,
but on our own custom board.

Currently the board boots, supports nand, and mmc. Ethernet support is 
currently only working,
when barebox is chainloaded from Redboot shipped with the modules.

Kind regards,
Christian Kapeller