Use different coreboot revisions and patches per board

The release archives will be bigger, but this is a necessary change
that makes libreboot development easier.

At present, there are boards maintained in libreboot by different
people. By doing it this way, that becomes much easier. This is in
contrast to the present situation, where a change to one board
potentially affects all other boards, especially when updating to
a new version of coreboot.

Coreboot-libre scripts, download scripts, build scripts - everything.
The entire build system has been modified to reflect this change
of development.

For reasons of consistency, cbfstool and nvramtool are no longer
included in the util archives.

1 files changed, 0 insertions, 572 deletions

diff --git a/resources/libreboot/config/grub/kfsn4-dre_2mb/config b/resources/libreboot/config/grub/kfsn4-dre_2mb/config
deleted file mode 100644
index 6b8721a..0000000
--- a/resources/libreboot/config/grub/kfsn4-dre_2mb/config
+++ /dev/null
@@ -1,572 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# coreboot configuration
-#
-
-#
-# General setup
-#
-CONFIG_LOCALVERSION=""
-CONFIG_CBFS_PREFIX="fallback"
-# CONFIG_MULTIPLE_CBFS_INSTANCES is not set
-CONFIG_COMPILER_GCC=y
-# CONFIG_COMPILER_LLVM_CLANG is not set
-# CONFIG_ANY_TOOLCHAIN is not set
-# CONFIG_CCACHE is not set
-# CONFIG_FMD_GENPARSER is not set
-# CONFIG_SCONFIG_GENPARSER is not set
-CONFIG_USE_OPTION_TABLE=y
-# CONFIG_STATIC_OPTION_TABLE is not set
-# CONFIG_UNCOMPRESSED_RAMSTAGE is not set
-CONFIG_COMPRESS_RAMSTAGE=y
-CONFIG_INCLUDE_CONFIG_FILE=y
-CONFIG_EARLY_CBMEM_INIT=y
-# CONFIG_COLLECT_TIMESTAMPS is not set
-# CONFIG_USE_BLOBS is not set
-# CONFIG_COVERAGE is not set
-# CONFIG_RELOCATABLE_MODULES is not set
-# CONFIG_RELOCATABLE_RAMSTAGE is not set
-CONFIG_FLASHMAP_OFFSET=0
-CONFIG_BOOTBLOCK_SIMPLE=y
-# CONFIG_BOOTBLOCK_NORMAL is not set
-CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c"
-# CONFIG_SKIP_MAX_REBOOT_CNT_CLEAR is not set
-# CONFIG_UPDATE_IMAGE is not set
-# CONFIG_GENERIC_GPIO_LIB is not set
-# CONFIG_BOARD_ID_AUTO is not set
-# CONFIG_BOARD_ID_MANUAL is not set
-# CONFIG_RAM_CODE_SUPPORT is not set
-# CONFIG_ACPI_SATA_GENERATOR is not set
-
-#
-# Mainboard
-#
-# CONFIG_VENDOR_A_TREND is not set
-# CONFIG_VENDOR_AAEON is not set
-# CONFIG_VENDOR_ABIT is not set
-# CONFIG_VENDOR_ADLINK is not set
-# CONFIG_VENDOR_ADVANSUS is not set
-# CONFIG_VENDOR_AMD is not set
-# CONFIG_VENDOR_AOPEN is not set
-# CONFIG_VENDOR_APPLE is not set
-# CONFIG_VENDOR_ARIMA is not set
-# CONFIG_VENDOR_ARTECGROUP is not set
-# CONFIG_VENDOR_ASROCK is not set
-CONFIG_VENDOR_ASUS=y
-# CONFIG_VENDOR_AVALUE is not set
-# CONFIG_VENDOR_AZZA is not set
-# CONFIG_VENDOR_BACHMANN is not set
-# CONFIG_VENDOR_BAP is not set
-# CONFIG_VENDOR_BCOM is not set
-# CONFIG_VENDOR_BIFFEROS is not set
-# CONFIG_VENDOR_BIOSTAR is not set
-# CONFIG_VENDOR_BROADCOM is not set
-# CONFIG_VENDOR_COMPAQ is not set
-# CONFIG_VENDOR_CUBIETECH is not set
-# CONFIG_VENDOR_DIGITALLOGIC is not set
-# CONFIG_VENDOR_DMP is not set
-# CONFIG_VENDOR_ECS is not set
-# CONFIG_VENDOR_EMULATION is not set
-# CONFIG_VENDOR_GETAC is not set
-# CONFIG_VENDOR_GIGABYTE is not set
-# CONFIG_VENDOR_GIZMOSPHERE is not set
-# CONFIG_VENDOR_GOOGLE is not set
-# CONFIG_VENDOR_HP is not set
-# CONFIG_VENDOR_IBASE is not set
-# CONFIG_VENDOR_IBM is not set
-# CONFIG_VENDOR_IEI is not set
-# CONFIG_VENDOR_INTEL is not set
-# CONFIG_VENDOR_IWAVE is not set
-# CONFIG_VENDOR_IWILL is not set
-# CONFIG_VENDOR_JETWAY is not set
-# CONFIG_VENDOR_KONTRON is not set
-# CONFIG_VENDOR_LANNER is not set
-# CONFIG_VENDOR_LENOVO is not set
-# CONFIG_VENDOR_LINUTOP is not set
-# CONFIG_VENDOR_LIPPERT is not set
-# CONFIG_VENDOR_MITAC is not set
-# CONFIG_VENDOR_MSI is not set
-# CONFIG_VENDOR_NEC is not set
-# CONFIG_VENDOR_NEWISYS is not set
-# CONFIG_VENDOR_NOKIA is not set
-# CONFIG_VENDOR_NVIDIA is not set
-# CONFIG_VENDOR_PACKARDBELL is not set
-# CONFIG_VENDOR_PCENGINES is not set
-# CONFIG_VENDOR_RCA is not set
-# CONFIG_VENDOR_RODA is not set
-# CONFIG_VENDOR_SAMSUNG is not set
-# CONFIG_VENDOR_SIEMENS is not set
-# CONFIG_VENDOR_SOYO is not set
-# CONFIG_VENDOR_SUNW is not set
-# CONFIG_VENDOR_SUPERMICRO is not set
-# CONFIG_VENDOR_TECHNEXION is not set
-# CONFIG_VENDOR_THOMSON is not set
-# CONFIG_VENDOR_TI is not set
-# CONFIG_VENDOR_TRAVERSE is not set
-# CONFIG_VENDOR_TYAN is not set
-# CONFIG_VENDOR_VIA is not set
-# CONFIG_VENDOR_WINENT is not set
-# CONFIG_VENDOR_WYSE is not set
-CONFIG_BOARD_SPECIFIC_OPTIONS=y
-CONFIG_MAINBOARD_DIR="asus/kfsn4-dre"
-CONFIG_MAINBOARD_PART_NUMBER="KFSN4-DRE"
-CONFIG_IRQ_SLOT_COUNT=13
-CONFIG_MAINBOARD_VENDOR="ASUS"
-CONFIG_APIC_ID_OFFSET=0
-CONFIG_HW_MEM_HOLE_SIZEK=0x100000
-CONFIG_MAX_CPUS=12
-CONFIG_MAX_PHYSICAL_CPUS=2
-# CONFIG_HW_MEM_HOLE_SIZE_AUTO_INC is not set
-CONFIG_HT_CHAIN_END_UNITID_BASE=0x20
-CONFIG_HT_CHAIN_UNITID_BASE=0x0
-CONFIG_ONBOARD_VGA_IS_PRIMARY=y
-# CONFIG_VGA_BIOS is not set
-# CONFIG_UDELAY_IO is not set
-CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
-CONFIG_DCACHE_RAM_BASE=0xc4000
-CONFIG_DCACHE_RAM_SIZE=0x0c000
-CONFIG_MMCONF_BASE_ADDRESS=0xc0000000
-CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="ASUS"
-# CONFIG_BOARD_ASUS_A8N_E is not set
-# CONFIG_BOARD_ASUS_A8N_SLI is not set
-# CONFIG_BOARD_ASUS_A8V_E_DELUXE is not set
-# CONFIG_BOARD_ASUS_A8V_E_SE is not set
-# CONFIG_BOARD_ASUS_DSBF is not set
-# CONFIG_BOARD_ASUS_F2A85_M is not set
-# CONFIG_BOARD_ASUS_F2A85_M_LE is not set
-# CONFIG_BOARD_ASUS_K8V_X is not set
-CONFIG_BOARD_ASUS_KFSN4_DRE=y
-# CONFIG_BOARD_ASUS_KGPE_D16 is not set
-# CONFIG_BOARD_ASUS_M2N_E is not set
-# CONFIG_BOARD_ASUS_M2V_MX_SE is not set
-# CONFIG_BOARD_ASUS_M2V is not set
-# CONFIG_BOARD_ASUS_M4A78_EM is not set
-# CONFIG_BOARD_ASUS_M4A785M is not set
-# CONFIG_BOARD_ASUS_M4A785TM is not set
-# CONFIG_BOARD_ASUS_M5A88_V is not set
-# CONFIG_BOARD_ASUS_MEW_AM is not set
-# CONFIG_BOARD_ASUS_MEW_VM is not set
-# CONFIG_BOARD_ASUS_P2B_D is not set
-# CONFIG_BOARD_ASUS_P2B_DS is not set
-# CONFIG_BOARD_ASUS_P2B_F is not set
-# CONFIG_BOARD_ASUS_P2B_LS is not set
-# CONFIG_BOARD_ASUS_P2B is not set
-# CONFIG_BOARD_ASUS_P3B_F is not set
-CONFIG_AGP_APERTURE_SIZE=0x4000000
-CONFIG_BOOTBLOCK_MAINBOARD_INIT="mainboard/asus/kfsn4-dre/bootblock.c"
-CONFIG_CK804_PCI_E_X=1
-CONFIG_CK804_PCIE_PME_WAKE=y
-CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y
-CONFIG_MAINBOARD_POWER_ON_AFTER_POWER_FAIL=y
-CONFIG_UART_FOR_CONSOLE=0
-CONFIG_ID_SECTION_OFFSET=0x80
-CONFIG_RAMTOP=0x400000
-CONFIG_USBDEBUG_HCD_INDEX=0
-CONFIG_TTYS0_LCS=3
-CONFIG_CBFS_SIZE=0x200000
-CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
-CONFIG_UDELAY_LAPIC_FIXED_FSB=200
-CONFIG_POST_DEVICE=y
-CONFIG_CPU_ADDR_BITS=48
-CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
-CONFIG_USBDEBUG=y
-CONFIG_MAINBOARD_VERSION="1.0"
-CONFIG_DRIVERS_PS2_KEYBOARD=y
-CONFIG_CK804_NUM=1
-CONFIG_BOARD_ROMSIZE_KB_1024=y
-# CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_128 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_256 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_512 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_1024 is not set
-CONFIG_COREBOOT_ROMSIZE_KB_2048=y
-# CONFIG_COREBOOT_ROMSIZE_KB_4096 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_12288 is not set
-# CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
-CONFIG_COREBOOT_ROMSIZE_KB=2048
-CONFIG_ROM_SIZE=0x200000
-# CONFIG_SYSTEM_TYPE_LAPTOP is not set
-
-#
-# Chipset
-#
-
-#
-# SoC
-#
-# CONFIG_SOC_BROADCOM_CYGNUS is not set
-CONFIG_CHIPSET_BOOTBLOCK_INCLUDE="southbridge/nvidia/ck804/romstrap.inc"
-CONFIG_BOOTBLOCK_NORTHBRIDGE_INIT="northbridge/amd/amdfam10/bootblock.c"
-CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/nvidia/ck804/bootblock.c"
-CONFIG_TTYS0_BASE=0x3f8
-CONFIG_EHCI_BAR=0xfef00000
-CONFIG_HEAP_SIZE=0xc0000
-# CONFIG_SOC_MARVELL_BG4CD is not set
-# CONFIG_SOC_NVIDIA_TEGRA124 is not set
-# CONFIG_SOC_NVIDIA_TEGRA132 is not set
-# CONFIG_SOC_NVIDIA_TEGRA210 is not set
-# CONFIG_SOC_QC_IPQ806X is not set
-# CONFIG_SOC_ROCKCHIP_RK3288 is not set
-# CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set
-# CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set
-# CONFIG_SOC_UCB_RISCV is not set
-
-#
-# CPU
-#
-# CONFIG_CPU_ALLWINNER_A10 is not set
-CONFIG_DCACHE_BSP_STACK_SIZE=0x4000
-CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000
-CONFIG_DCACHE_AP_STACK_SIZE=0x400
-CONFIG_CPU_SOCKET_TYPE=0x10
-# CONFIG_EXT_RT_TBL_SUPPORT is not set
-CONFIG_CBB=0x0
-CONFIG_CDB=0x18
-CONFIG_XIP_ROM_SIZE=0x80000
-CONFIG_CPU_AMD_SOCKET_F_1207=y
-CONFIG_DIMM_SUPPORT=0x0104
-CONFIG_LIFT_BSP_APIC_ID=y
-CONFIG_SET_FIDVID=y
-CONFIG_SET_FIDVID_DEBUG=y
-# CONFIG_SET_FIDVID_CORE0_ONLY is not set
-CONFIG_SET_FIDVID_STORE_AP_APICID_AT_FIRST=y
-CONFIG_CPU_AMD_MODEL_10XXX=y
-# CONFIG_USE_LARGE_DCACHE is not set
-CONFIG_NUM_IPI_STARTS=1
-CONFIG_SET_FIDVID_CORE_RANGE=0
-# CONFIG_CPU_AMD_AGESA is not set
-# CONFIG_CPU_AMD_PI is not set
-# CONFIG_CPU_ARMLTD_CORTEX_A9 is not set
-CONFIG_SSE2=y
-# CONFIG_CPU_INTEL_FIRMWARE_INTERFACE_TABLE is not set
-# CONFIG_CPU_INTEL_TURBO_NOT_PACKAGE_SCOPED is not set
-# CONFIG_CPU_TI_AM335X is not set
-CONFIG_PARALLEL_CPU_INIT=y
-CONFIG_UDELAY_LAPIC=y
-# CONFIG_LAPIC_MONOTONIC_TIMER is not set
-# CONFIG_UDELAY_TSC is not set
-# CONFIG_UDELAY_TIMER2 is not set
-# CONFIG_TSC_CALIBRATE_WITH_IO is not set
-CONFIG_TSC_SYNC_LFENCE=y
-# CONFIG_TSC_SYNC_MFENCE is not set
-CONFIG_LOGICAL_CPUS=y
-# CONFIG_SMM_TSEG is not set
-CONFIG_X86_AMD_FIXED_MTRRS=y
-# CONFIG_PLATFORM_USES_FSP1_0 is not set
-# CONFIG_PARALLEL_MP is not set
-# CONFIG_BACKUP_DEFAULT_SMM_REGION is not set
-# CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
-CONFIG_CACHE_AS_RAM=y
-CONFIG_SMP=y
-CONFIG_AP_SIPI_VECTOR=0xfffff000
-CONFIG_SSE=y
-CONFIG_SUPPORT_CPU_UCODE_IN_CBFS=y
-# CONFIG_CPU_MICROCODE_CBFS_GENERATE is not set
-# CONFIG_CPU_MICROCODE_CBFS_EXTERNAL is not set
-CONFIG_CPU_MICROCODE_CBFS_NONE=y
-
-#
-# Northbridge
-#
-# CONFIG_NORTHBRIDGE_AMD_AGESA is not set
-CONFIG_MMCONF_BUS_NUMBER=256
-CONFIG_NORTHBRIDGE_AMD_AMDFAM10=y
-# CONFIG_SB_HT_CHAIN_UNITID_OFFSET_ONLY is not set
-# CONFIG_HT_CHAIN_DISTRIBUTE is not set
-# CONFIG_DIMM_FBDIMM is not set
-CONFIG_DIMM_DDR2=y
-# CONFIG_DIMM_DDR3 is not set
-CONFIG_DIMM_REGISTERED=y
-# CONFIG_DIMM_VOLTAGE_SET_SUPPORT is not set
-# CONFIG_SVI_HIGH_FREQ is not set
-
-#
-# HyperTransport setup
-#
-# CONFIG_LIMIT_HT_DOWN_WIDTH_8 is not set
-CONFIG_LIMIT_HT_DOWN_WIDTH_16=y
-# CONFIG_LIMIT_HT_UP_WIDTH_8 is not set
-CONFIG_LIMIT_HT_UP_WIDTH_16=y
-# CONFIG_AMD_NB_CIMX is not set
-# CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
-CONFIG_VIDEO_MB=0
-# CONFIG_NORTHBRIDGE_AMD_PI is not set
-CONFIG_RAMBASE=0x100000
-CONFIG_HPET_ADDRESS=0xfed00000
-CONFIG_HPET_MIN_TICKS=0xfa
-CONFIG_MAX_PIRQ_LINKS=4
-
-#
-# Southbridge
-#
-# CONFIG_AMD_SB_CIMX is not set
-# CONFIG_SOUTHBRIDGE_AMD_CIMX_SB800 is not set
-# CONFIG_SOUTHBRIDGE_AMD_CIMX_SB900 is not set
-# CONFIG_SOUTHBRIDGE_INTEL_COMMON is not set
-CONFIG_SOUTHBRIDGE_NVIDIA_CK804=y
-# CONFIG_CK804_USE_NIC is not set
-# CONFIG_CK804_USE_ACI is not set
-CONFIG_CK804B_PCI_E_X=4
-
-#
-# Super I/O
-#
-CONFIG_SUPERIO_WINBOND_COMMON_ROMSTAGE=y
-CONFIG_SUPERIO_WINBOND_W83627THG=y
-
-#
-# Embedded Controllers
-#
-# CONFIG_MAINBOARD_HAS_CHROMEOS is not set
-# CONFIG_UEFI_2_4_BINDING is not set
-# CONFIG_ARCH_ARM is not set
-# CONFIG_ARCH_BOOTBLOCK_ARM is not set
-# CONFIG_ARCH_VERSTAGE_ARM is not set
-# CONFIG_ARCH_ROMSTAGE_ARM is not set
-# CONFIG_ARCH_RAMSTAGE_ARM is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV4 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV4 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV4 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV4 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV7 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV7 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV7 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV7 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV7_M is not set
-# CONFIG_ARCH_VERSTAGE_ARMV7_M is not set
-# CONFIG_ARM_BOOTBLOCK_CUSTOM is not set
-# CONFIG_ARM_LPAE is not set
-# CONFIG_ARCH_ARM64 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARM64 is not set
-# CONFIG_ARCH_VERSTAGE_ARM64 is not set
-# CONFIG_ARCH_ROMSTAGE_ARM64 is not set
-# CONFIG_ARCH_RAMSTAGE_ARM64 is not set
-# CONFIG_ARCH_BOOTBLOCK_ARMV8_64 is not set
-# CONFIG_ARCH_VERSTAGE_ARMV8_64 is not set
-# CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set
-# CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set
-# CONFIG_ARM64_BOOTBLOCK_CUSTOM is not set
-# CONFIG_ARM64_A53_ERRATUM_843419 is not set
-# CONFIG_ARCH_MIPS is not set
-# CONFIG_ARCH_BOOTBLOCK_MIPS is not set
-# CONFIG_ARCH_VERSTAGE_MIPS is not set
-# CONFIG_ARCH_ROMSTAGE_MIPS is not set
-# CONFIG_ARCH_RAMSTAGE_MIPS is not set
-# CONFIG_ARCH_RISCV is not set
-# CONFIG_ARCH_BOOTBLOCK_RISCV is not set
-# CONFIG_ARCH_VERSTAGE_RISCV is not set
-# CONFIG_ARCH_ROMSTAGE_RISCV is not set
-# CONFIG_ARCH_RAMSTAGE_RISCV is not set
-# CONFIG_RISCV_BOOTBLOCK_CUSTOM is not set
-CONFIG_ARCH_X86=y
-CONFIG_ARCH_BOOTBLOCK_X86_32=y
-CONFIG_ARCH_VERSTAGE_X86_32=y
-CONFIG_ARCH_ROMSTAGE_X86_32=y
-CONFIG_ARCH_RAMSTAGE_X86_32=y
-# CONFIG_ARCH_BOOTBLOCK_X86_64 is not set
-# CONFIG_ARCH_VERSTAGE_X86_64 is not set
-# CONFIG_ARCH_ROMSTAGE_X86_64 is not set
-# CONFIG_ARCH_RAMSTAGE_X86_64 is not set
-# CONFIG_AP_IN_SIPI_WAIT is not set
-# CONFIG_SIPI_VECTOR_IN_ROM is not set
-# CONFIG_ROMCC is not set
-# CONFIG_LATE_CBMEM_INIT is not set
-CONFIG_PC80_SYSTEM=y
-CONFIG_HAVE_CMOS_DEFAULT=y
-CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
-CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
-# CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set
-# CONFIG_COMPILE_IN_DSDT is not set
-
-#
-# Devices
-#
-CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y
-# CONFIG_NATIVE_VGA_INIT_USE_EDID is not set
-CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG=y
-# CONFIG_ON_DEVICE_ROM_RUN is not set
-# CONFIG_MULTIPLE_VGA_ADAPTERS is not set
-# CONFIG_SMBUS_HAS_AUX_CHANNELS is not set
-# CONFIG_SPD_CACHE is not set
-CONFIG_PCI=y
-CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT=y
-CONFIG_PCIX_PLUGIN_SUPPORT=y
-CONFIG_PCIEXP_PLUGIN_SUPPORT=y
-CONFIG_CARDBUS_PLUGIN_SUPPORT=y
-# CONFIG_AZALIA_PLUGIN_SUPPORT is not set
-# CONFIG_PCIEXP_COMMON_CLOCK is not set
-# CONFIG_PCIEXP_ASPM is not set
-# CONFIG_PCIEXP_CLK_PM is not set
-# CONFIG_EARLY_PCI_BRIDGE is not set
-# CONFIG_PCIEXP_L1_SUB_STATE is not set
-CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
-CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
-# CONFIG_PXE_ROM is not set
-# CONFIG_SOFTWARE_I2C is not set
-
-#
-# Display
-#
-# CONFIG_FRAMEBUFFER_KEEP_VESA_MODE is not set
-
-#
-# Generic Drivers
-#
-# CONFIG_DRIVERS_AS3722_RTC is not set
-CONFIG_DEVICE_SPECIFIC_OPTIONS=y
-# CONFIG_GIC is not set
-# CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
-# CONFIG_DRIVERS_I2C_RTD2132 is not set
-CONFIG_DRIVERS_I2C_W83793=y
-# CONFIG_INTEL_DP is not set
-# CONFIG_INTEL_DDI is not set
-# CONFIG_INTEL_EDID is not set
-# CONFIG_INTEL_INT15 is not set
-# CONFIG_INTEL_GMA_ACPI is not set
-# CONFIG_DRIVER_INTEL_I210 is not set
-# CONFIG_IPMI_KCS is not set
-# CONFIG_DRIVERS_LENOVO_WACOM is not set
-# CONFIG_DRIVER_MAXIM_MAX77686 is not set
-# CONFIG_DRIVER_PARADE_PS8625 is not set
-CONFIG_DRIVERS_MC146818=y
-# CONFIG_MAINBOARD_HAS_LPC_TPM is not set
-# CONFIG_DRIVERS_RICOH_RCE822 is not set
-# CONFIG_DRIVERS_SIL_3114 is not set
-# CONFIG_SPI_FLASH is not set
-# CONFIG_HAVE_SPI_CONSOLE_SUPPORT is not set
-# CONFIG_DRIVER_TI_TPS65090 is not set
-# CONFIG_DRIVERS_TI_TPS65913 is not set
-# CONFIG_DRIVERS_TI_TPS65913_RTC is not set
-CONFIG_DRIVERS_UART=y
-CONFIG_DRIVERS_UART_8250IO=y
-# CONFIG_NO_UART_ON_SUPERIO is not set
-# CONFIG_DRIVERS_UART_8250MEM is not set
-# CONFIG_DRIVERS_UART_8250MEM_32 is not set
-# CONFIG_HAVE_UART_SPECIAL is not set
-# CONFIG_DRIVERS_UART_OXPCIE is not set
-# CONFIG_DRIVERS_UART_PL011 is not set
-CONFIG_HAVE_USBDEBUG=y
-# CONFIG_HAVE_USBDEBUG_OPTIONS is not set
-CONFIG_USBDEBUG_IN_ROMSTAGE=y
-CONFIG_USBDEBUG_DEFAULT_PORT=0
-CONFIG_USBDEBUG_DONGLE_STD=y
-# CONFIG_USBDEBUG_DONGLE_BEAGLEBONE is not set
-# CONFIG_USBDEBUG_DONGLE_BEAGLEBONE_BLACK is not set
-# CONFIG_USBDEBUG_DONGLE_FTDI_FT232H is not set
-CONFIG_USBDEBUG_OPTIONAL_HUB_PORT=0
-CONFIG_DRIVERS_XGI_Z79_COMMON=y
-CONFIG_DRIVERS_XGI_Z9S=y
-# CONFIG_DRIVER_XPOWERS_AXP209 is not set
-CONFIG_RTC=y
-# CONFIG_TPM is not set
-CONFIG_STACK_SIZE=0x1000
-CONFIG_MMCONF_SUPPORT_DEFAULT=y
-CONFIG_MMCONF_SUPPORT=y
-# CONFIG_BOOTMODE_STRAPS is not set
-
-#
-# Console
-#
-CONFIG_SQUELCH_EARLY_SMP=y
-CONFIG_CONSOLE_SERIAL=y
-
-#
-# I/O mapped, 8250-compatible
-#
-CONFIG_CONSOLE_SERIAL_115200=y
-# CONFIG_CONSOLE_SERIAL_57600 is not set
-# CONFIG_CONSOLE_SERIAL_38400 is not set
-# CONFIG_CONSOLE_SERIAL_19200 is not set
-# CONFIG_CONSOLE_SERIAL_9600 is not set
-CONFIG_TTYS0_BAUD=115200
-# CONFIG_SPKMODEM is not set
-CONFIG_CONSOLE_USB=y
-# CONFIG_CONSOLE_NE2K is not set
-CONFIG_CONSOLE_CBMEM=y
-CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
-CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 is not set
-# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 is not set
-# CONFIG_NO_POST is not set
-# CONFIG_CMOS_POST is not set
-# CONFIG_CONSOLE_POST is not set
-CONFIG_POST_DEVICE_NONE=y
-# CONFIG_POST_DEVICE_LPC is not set
-# CONFIG_POST_DEVICE_PCI_PCIE is not set
-CONFIG_POST_IO=y
-CONFIG_POST_IO_PORT=0x80
-# CONFIG_HAVE_ACPI_RESUME is not set
-CONFIG_HAVE_HARD_RESET=y
-# CONFIG_HAVE_ROMSTAGE_CONSOLE_SPINLOCK is not set
-# CONFIG_HAVE_ROMSTAGE_NVRAM_CBFS_SPINLOCK is not set
-# CONFIG_HAVE_ROMSTAGE_MICROCODE_CBFS_SPINLOCK is not set
-CONFIG_HAVE_MONOTONIC_TIMER=y
-# CONFIG_GENERIC_UDELAY is not set
-# CONFIG_TIMER_QUEUE is not set
-CONFIG_HAVE_OPTION_TABLE=y
-# CONFIG_PIRQ_ROUTE is not set
-# CONFIG_HAVE_SMI_HANDLER is not set
-CONFIG_PCI_IO_CFG_EXT=y
-CONFIG_IOAPIC=y
-# CONFIG_USE_WATCHDOG_ON_BOOT is not set
-CONFIG_VGA=y
-# CONFIG_GFXUMA is not set
-CONFIG_HAVE_ACPI_TABLES=y
-CONFIG_HAVE_MP_TABLE=y
-CONFIG_HAVE_PIRQ_TABLE=y
-# CONFIG_COMMON_FADT is not set
-
-#
-# System tables
-#
-CONFIG_GENERATE_MP_TABLE=y
-CONFIG_GENERATE_PIRQ_TABLE=y
-CONFIG_GENERATE_SMBIOS_TABLES=y
-CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="KFSN4-DRE"
-
-#
-# Payload
-#
-# CONFIG_PAYLOAD_NONE is not set
-CONFIG_PAYLOAD_ELF=y
-# CONFIG_PAYLOAD_FILO is not set
-# CONFIG_PAYLOAD_GRUB2 is not set
-# CONFIG_PAYLOAD_SEABIOS is not set
-# CONFIG_PAYLOAD_LINUX is not set
-# CONFIG_PAYLOAD_TIANOCORE is not set
-CONFIG_PAYLOAD_FILE="grub.elf"
-CONFIG_COMPRESSED_PAYLOAD_LZMA=y
-
-#
-# Debugging
-#
-# CONFIG_GDB_STUB is not set
-# CONFIG_FATAL_ASSERTS is not set
-# CONFIG_DEBUG_CBFS is not set
-CONFIG_HAVE_DEBUG_RAM_SETUP=y
-# CONFIG_DEBUG_RAM_SETUP is not set
-CONFIG_HAVE_DEBUG_CAR=y
-# CONFIG_DEBUG_CAR is not set
-# CONFIG_DEBUG_PIRQ is not set
-CONFIG_HAVE_DEBUG_SMBUS=y
-# CONFIG_DEBUG_SMBUS is not set
-# CONFIG_DEBUG_MALLOC is not set
-# CONFIG_DEBUG_ACPI is not set
-# CONFIG_DEBUG_USBDEBUG is not set
-# CONFIG_TRACE is not set
-CONFIG_ENABLE_APIC_EXT_ID=y
-CONFIG_WARNINGS_ARE_ERRORS=y
-# CONFIG_POWER_BUTTON_DEFAULT_ENABLE is not set
-# CONFIG_POWER_BUTTON_DEFAULT_DISABLE is not set
-# CONFIG_POWER_BUTTON_FORCE_ENABLE is not set
-# CONFIG_POWER_BUTTON_FORCE_DISABLE is not set
-# CONFIG_POWER_BUTTON_IS_OPTIONAL is not set
-# CONFIG_REG_SCRIPT is not set
-CONFIG_MAX_REBOOT_CNT=3