Make *printf() return "int" instead of "void"

[karo-tx-uboot.git] / boards.cfg

diff --git a/boards.cfg b/boards.cfg
index 1a5cfb147c6cc68251c7c2524b637e5b7de2e452..da31c3647e95f6c73e881213fe24b6dc12533904 100644 (file)
--- a/boards.cfg
+++ b/boards.cfg
@@ -180,9 +180,10 @@ G2000              powerpc ppc4xx          g2000
 JSE            powerpc ppc4xx          jse
 korat          powerpc ppc4xx
 lwmon5         powerpc ppc4xx
-ML2            powerpc ppc4xx
+ML2            powerpc ppc4xx          ml2
 sbc405         powerpc ppc4xx
 sc3            powerpc ppc4xx
+t3corp         powerpc ppc4xx
 zeus           powerpc ppc4xx
 acadia         powerpc ppc4xx          -               amcc
 bamboo         powerpc ppc4xx          -               amcc
@@ -261,7 +262,9 @@ omap3_zoom2 arm     arm_cortexa8    zoom2           logicpd         omap3
 omap3_beagle   arm     arm_cortexa8    beagle          ti              omap3
 omap3_evm      arm     arm_cortexa8    evm             ti              omap3
 omap3_sdp3430  arm     arm_cortexa8    sdp3430         ti              omap3
+am3517_evm     arm     arm_cortexa8    am3517evm       logicpd         omap3
 devkit8000     arm     arm_cortexa8    devkit8000      timll           omap3
+s5p_goni       arm     arm_cortexa8    goni            samsung         s5pc1xx
 smdkc100       arm     arm_cortexa8    smdkc100        samsung         s5pc1xx
 ixdpg425       arm     ixp
 lpd7a400       arm     lh7a40x         lpd7a40x