Hi. I follow these instructions:

https://doc.coreboot.org/tutorial/part1.html

I'm on Step 5 - Configure the build > Check your configuration (optional step):

I did

$ make savedefconfig
$ cat defconfig

The instructions say:

"There should only be two lines (or 3 if you’re using the system toolchain):

CONFIG_PAYLOAD_ELF=y
CONFIG_PAYLOAD_FILE="payloads/coreinfo/build/coreinfo.elf""

I'm not using the system toolchain. There are the following 9 lines (instead of only two):

CONFIG_CBFS_SIZE=0x00040000
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
CONFIG_UART_PCI_ADDR=0x0
CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
CONFIG_CONSOLE_QEMU_DEBUGCON_PORT=0x402
CONFIG_POST_IO_PORT=0x80
CONFIG_PAYLOAD_ELF=y
CONFIG_PAYLOAD_FILE="payloads/coreinfo/build/coreinfo.elf"

Why do I get 9 lines (instead of only two) and is that a problem or could I go on with the instructions?

Regards,