KERNEL_ARCH = denverton
KERNEL_VERS = 7.1
KERNEL_DIST = linux-4.4.x
KERNEL_BASE_ARCH = x86
KERNEL_URL_VERSION = 7.1.1

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