KERNEL_IMAGETYPE = "uImage"
WKS_FILE = "sdimage-hsdk.wks"
AGL_EXTRA_IMAGE_FSTYPES = "wic.xz"
IMAGE_BOOT_FILES = "uImage uboot.env"
IMAGE_INSTALL_append = " kernel-modules"