[U-Boot] U-Boot support for ODROID Board

Hello,

does anybody know if there is support for the ODROID Board (http://hardkernel.com/main/products/prdt_info.php?g_code=G138745696275&t...) with the Samsung exynos 4412 processor ?

best regards, hannes