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
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

# ChromeOS board codenames to try to build for.
DEPTHCHARGE_BOARDS = amd64-generic

include config/x86.cfg
