# SPDX-License-Identifier: GPL-3.0-or-later tree="next" xarch="i386-elf" payload_seabios="y" payload_grub="y" payload_memtest="y" grub_scan_disk="nvme ahci" grubtree="xhci" vcfg="3050micro" build_depend="seabios/default grub/xhci memtest86plus u-boot/amd64coreboot" IFD_platform="sklkbl" payload_uboot_amd64="y"