1 # Type this in coreboot root directory to get a working .config:
2 # make defconfig KBUILD_DEFCONFIG=configs/builder/config.intel.crb.avc
5 # [RO] Board Configurations
8 CONFIG_BOARD_INTEL_AVENUECITY_CRB=y
10 CONFIG_HAVE_CONFIGURABLE_RAMSTAGE=y
11 CONFIG_CONFIGURABLE_RAMSTAGE=y
16 CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y
17 CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
18 CONFIG_ADD_FSP_BINARIES=y
19 CONFIG_PAYLOAD_LINUX=y
21 CONFIG_UART_FOR_CONSOLE=0
22 CONFIG_CONSOLE_SERIAL_115200=y
25 # [RW] IFWI Ingredients
27 CONFIG_IFD_BIN_PATH="site-local/avenuecity/descriptor.bin"
28 CONFIG_CPU_UCODE_BINARIES="site-local/avenuecity/ucode.mcb"
29 CONFIG_FSP_T_FILE="site-local/avenuecity/Server_T.fd"
30 CONFIG_FSP_M_FILE="site-local/avenuecity/Server_M.fd"
31 CONFIG_FSP_S_FILE="site-local/avenuecity/Server_S.fd"
32 CONFIG_FSP_HEADER_PATH="src/vendorcode/intel/fsp/fsp2_0/graniterapids/ap/"
34 CONFIG_PAYLOAD_FILE="site-local/avenuecity/linuxboot_bzImage"
35 CONFIG_LINUX_COMMAND_LINE="loglevel=7 earlyprintk=serial,ttyS0,115200 console=ttyS0,115200"
41 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
44 CONFIG_DISPLAY_MTRRS=y
46 CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y
47 CONFIG_DISPLAY_FSP_HEADER=y
49 CONFIG_HAVE_DEBUG_GPIO=y