MEDIUM_SUPPORTED = netboot

DEBIAN_RELEASE = unstable

KEYRING = /usr/share/keyrings/debian-ports-archive-keyring.gpg

USE_UNRELEASED = 1

KERNELMAJOR = 2.6
# The version of the kernel to use.
KERNELVERSION = $(LINUX_KERNEL_ABI)-riscv64
KERNELNAME = vmlinux

arch_boot_screens:
arch_tree:
