tree 3fa81e3d9c335c51cd11dfd4532db391db440535
parent 341d1bb7246896ada1d6e8da5491e56aee3d7845
author Johnny Lin <johnny_lin@wiwynn.com> 1675144337 +0800
committer Felix Held <felix-coreboot@felixheld.de> 1675345737 +0000

configs/builder/config.ocp.tiogapass: Add CONFIG_BOARD_OCP_TIOGAPASS

Otherwise configurations in src/mainboard/ocp/tiogapass/Kconfig
cannot be selected by
make defconfig KBUILD_DEFCONFIG=configs/builder/config.ocp.tiogapass

Change-Id: I88d5619269a6a9c09e84061642206a17c91db042
Signed-off-by: Johnny Lin <johnny_lin@wiwynn.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/72642
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Jonathan Zhang <jonzhang@fb.com>