#@TYPE: Machine
#@NAME: eagle40-03
#@DESCRIPTION: Machine support for EAGLE40-03
#

require include/coreos-generic-arch/x64.inc

MACHINE_FEATURES += "pci usbhost x86 acpi serial efi tpm2 "

# Kernel configuration
# ******************************************************************************

PREFERRED_VERSION_linux-yocto ?= "6.6%"
PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto"

KERNEL_IMAGETYPE = "bzImage"

#  getty configuration
# ******************************************************************************

SERIAL_CONSOLES = "115200;ttyS0"
SERIAL_CONSOLES_CHECK = "ttyS0"
APPEND += "console=ttyS0,115200"

# Image generation
# ******************************************************************************

# Ensure that both flash-image.bin and boot.scr are generated as they are needed
# for a wic image
WKS_FILE = "generic-uefi.wks.in"
# COREOS_INSTALLER_WKS_FILE ?= ""  --> TBD
IMAGE_FSTYPES += "wic.xz wic.bmap"

MACHINE_ESSENTIAL_EXTRA_RDEPENDS += " kernel-modules"
# COREOS_IMAGE_SWUPDATE_EXTRACLASSES += "" --> TBD

# No watchdog available yet
EFIBOOTGUARD_TIMEOUT ?= "0"
require conf/machine/include/coreos-generic-features/efi.inc
require conf/machine/include/coreos-generic-features/partitions.inc