label CRUX-ARM_Odroid-XU4-SDcard
  kernel zImage
  fdt exynos5422-odroidxu4.dtb
  append console=tty1 console=ttySAC2,115200 earlyprintk root=/dev/mmcblk1p2 rootwait
