BR2_LINUX_KERNEL=y
BR2_LINUX_KERNEL_CUSTOM_TARBALL=y

# oe4t-patches-l4t-r32.7 -> skiff/linux#skiff-jetson-4.9.x
# https://github.com/skiffos/linux/tree/skiff-jetson-4.9.x-2
# version 4.9.309
# BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION="$(call github,skiffos,linux,76963cfafed897f377ae20cefc5fc1fb69e69168)/linux-skiff-jetson-4.9.309-r1.tar.gz"

# oe4t-patches-l4t-r32.7 -> skiff/linux#skiff-jetson-4.9.x
# https://github.com/skiffos/linux/tree/skiff-jetson-4.9.x-3
# version 4.9.309
BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION="$(call github,skiffos,linux,73a0ea72eba4668063eb42ee6f2f046e5343e814)/linux-skiff-jetson-4.9.309-r5.tar.gz"

BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_9=y
BR2_KERNEL_HEADERS_AS_KERNEL=y

BR2_LINUX_KERNEL_USE_DEFCONFIG=y
BR2_LINUX_KERNEL_DEFCONFIG="tegra"
BR2_LINUX_KERNEL_DTS_SUPPORT=y

# Set BR2_LINUX_KERNEL_INTREE_DTS_NAME in board-specific config.
