Yep, U-Boot will need some more love. I am working on it. 
So far I have SDHCI driver for 2712 patched and I am able to
boot Tumbleweed kernel up to some point... :-)

Reply via email to