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
17 CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y
18 CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
19 CONFIG_ADD_FSP_BINARIES=y
20 CONFIG_PAYLOAD_LINUX=y
22 CONFIG_UART_FOR_CONSOLE=0
23 CONFIG_CONSOLE_SERIAL_115200=y
26 # [RW] IFWI Ingredients
28 CONFIG_IFD_BIN_PATH="site-local/avenuecity/descriptor.bin"
29 CONFIG_PBP_BIN_PATH="site-local/avenuecity/pbp.bin"
30 CONFIG_CPU_UCODE_BINARIES="site-local/avenuecity/ucode.mcb"
31 CONFIG_FSP_T_FILE="site-local/avenuecity/Server_T.fd"
32 CONFIG_FSP_M_FILE="site-local/avenuecity/Server_M.fd"
33 CONFIG_FSP_S_FILE="site-local/avenuecity/Server_S.fd"
34 CONFIG_FSP_HEADER_PATH="src/vendorcode/intel/fsp/fsp2_0/graniterapids/ap/"
36 CONFIG_PAYLOAD_FILE="site-local/avenuecity/linuxboot_bzImage"
37 CONFIG_LINUX_COMMAND_LINE="loglevel=7 earlyprintk=serial,ttyS0,115200 console=ttyS0,115200"
43 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
46 CONFIG_DISPLAY_MTRRS=y
48 CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y
49 CONFIG_DISPLAY_FSP_HEADER=y
51 CONFIG_HAVE_DEBUG_GPIO=y