| CONFIG_VENDOR_GOOGLE=y | |
| CONFIG_BOARD_GOOGLE_VEYRON_MIGHTY=y | |
| CONFIG_CBFS_SIZE=0x100000 | |
| # CONFIG_CONSOLE_SERIAL is not set | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_CONSOLE_CBMEM=y | |
| CONFIG_VBOOT2_VERIFY_FIRMWARE=y | |
| CONFIG_CHROMEOS=y | |
| CONFIG_ANY_TOOLCHAIN=y | |
| CONFIG_VBOOT_RAMSTAGE_INDEX=3 | |
| CONFIG_SEPARATE_VERSTAGE=y | |
| CONFIG_VBOOT_VERIFY_FIRMWARE=y | |
| CONFIG_VBOOT_STARTS_IN_BOOTBLOCK=y |