MEDIUM_SUPPORTED = cdrom cdrom-xen netboot netboot-gtk netboot-xen hd-media
MEDIUM_SUPPORTED_EXTRA = monolithic

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

# Not used for amd64.
#UPX=upx-ucl-beta

# Default syslinux configuration
SYSLINUX_CFG=standard

# The default video modes
# These should be kept in sync with win32-loader's preseed line as
# defined in graphics.nsi around line 58
VIDEO_MODE="vga=788"
VIDEO_MODE_GTK="vga=788"

# Configuration for generating EFI images
GRUB_EFI=y
GRUB_EFI_PLATFORM=x86_64-efi
GRUB_EFI_NAME=x64
# We have support for UEFI Secure Boot on this arch
EFI_SIGNED=y

include config/x86.cfg
