#Arndale Exynos 5 board

c_add arndale 'run config_default; u_k_addr=0x40007000; u_ramfs_addr=0x42000000; u_dtb_addr=0x41f00000; u_dtb=exynos5250-arndale.dtb; skip_dtb=1; pass_dtb=1; u_iodevs=mmc; u_fs=ext2; u_boot=bootm; u_extraargs="\$u_extraargs console=ttySAC2,115200n8"'

cat << EOF

if test -n \$ethact; then
  if test \$ethact = asx0; then
    run config_arndale
  fi
fi

EOF
