3 # CONFIG_CONSOLE_SERIAL is not set
5 CONFIG_VBOOT_SLOTS_RW_A=y
6 # CONFIG_DRIVERS_INTEL_WIFI is not set
7 CONFIG_BOARD_GOOGLE_SKYRIM=y
8 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x80000
9 CONFIG_VBOOT_FWID_MODEL="Google_$(CONFIG_MAINBOARD_PART_NUMBER)"
10 # CONFIG_VBOOT_STARTS_BEFORE_BOOTBLOCK is not set
11 CONFIG_POWER_STATE_PREVIOUS_AFTER_FAILURE=y
12 CONFIG_ASYNC_FILE_LOADING=y
13 # CONFIG_ACPI_BERT is not set
14 # CONFIG_ACPI_SSDT_PSD_INDEPENDENT is not set
15 CONFIG_AMD_STB_SIZE_IN_MB=3
17 CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
18 CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
19 CONFIG_I2C_TRANSFER_TIMEOUT_US=500000
21 CONFIG_CBFS_MCACHE_RW_PERCENTAGE=50
22 CONFIG_GBB_FLAG_DEV_SCREEN_SHORT_DELAY=y
23 CONFIG_GBB_FLAG_FORCE_DEV_SWITCH_ON=y
24 CONFIG_VBOOT_KEYBLOCK_VERSION=1
25 CONFIG_VBOOT_KEYBLOCK_PREAMBLE_FLAGS=0x0
26 CONFIG_SECURITY_CLEAR_DRAM_ON_REGULAR_BOOT=y
27 CONFIG_POST_IO_PORT=0x80
28 CONFIG_SEABIOS_DEBUG_LEVEL=-1