KERNEL_ARCH = avoton
KERNEL_VERS = 7.1
KERNEL_DIST = linux-3.10.x
KERNEL_BASE_ARCH = x86
KERNEL_URL_VERSION = 7.1.1

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