MEDIUM_SUPPORTED = hd-media netboot network-console netboot-gtk device-tree u-boot cdrom

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

# Configuration for generating EFI images
GRUB_EFI=y
GRUB_EFI_PLATFORM=arm-efi
GRUB_EFI_NAME=arm
# We do *NOT* have support for UEFI Secure Boot on this arch
EFI_SIGNED=n

# We do *NOT* build a gtk installer for this arch
GRAPHICAL_INSTALLER=n

arch_boot_screens:
arch_tree:

include config/arm.cfg
