DESCRIPTION = "Linux kernel for Beck IPC Hardware"
KERNEL_IMAGETYPE = "zImage"

require recipes-kernel/linux/linux.inc
require recipes-kernel/linux/linux-dtb.inc


COMPATIBLE_MACHINE = "(sc145-db150)"

PV = "4.9.18"
PR = "r0"
SRCREV_pn-${PN} = "e255a9806fcb124986e0b62d6d320b61892d4947"

SRC_URI += "git://github.com/beck-ipc/kernel-at-chip.git;protocol=https;branch=v4.9-beck; \
            file://defconfig"

S = "${WORKDIR}/git"

DESCRIPTION = "Linux kernel for Beck IPC Hardware"

require recipes-kernel/linux/linux.inc
require recipes-kernel/linux/linux-dtb.inc


COMPATIBLE_MACHINE = "(sc145-db150)"

PV = "4.9.18"
PR = "r0"
SRCREV_pn-${PN} = "e255a9806fcb124986e0b62d6d320b61892d4947"

SRC_URI += "git://github.com/beck-ipc/kernel-at-chip.git;protocol=https;branch=v4.9-beck; \
            file://defconfig"

S = "${WORKDIR}/git"

Set Kernel image type in device configuration.
linux-beck: Set Kernel image type in device configuration.
