KERNEL_ARCH = rtd1296
KERNEL_VERS = 7.2
KERNEL_DIST = linux-4.4.x
KERNEL_BASE_ARCH = arm64
KERNEL_URL_VERSION = 7.2

include ../../mk/spksrc.kernel.mk
