################################################################################
# setup device defaults
################################################################################

  # The TARGET_CPU variable controls which processor should be targeted for
  # generated code.
    case $TARGET_ARCH in
      arm)
        TARGET_FLOAT="hard"
        TARGET_CPU="cortex-a17"
        TARGET_FPU="neon-vfpv4"
        ;;
    esac

  # Kernel target
    KERNEL_TARGET="zImage"

  # Additional kernel make parameters (for example to specify the u-boot loadaddress)
    KERNEL_MAKE_EXTRACMD=""
    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-miqi.dtb"
    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-tinker.dtb"
    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-tinker-s.dtb"

  # Mali GPU family
    MALI_FAMILY="t760"
    GRAPHIC_DRIVERS="panfrost"

  # kernel serial console
    EXTRA_CMDLINE="console=uart8250,mmio32,0xff690000 console=tty0 coherent_pool=2M cec.debounce_ms=5000"

  # set the addon project
    ADDON_PROJECT="ARMv7"
