98435ed07a
This patch does the following: - Allow selecting 64bit from Kconfig - Fix up integer to pointer conversion that gcc complains about - Add a buildtest target in configs Tested on Thinkpad X200: boots fine to the payload Change-Id: Icb9c31a28ee231b87109b19c00ce2f8b48b5aefe Signed-off-by: Arthur Heymans <arthur@aheymans.xyz> Reviewed-on: https://review.coreboot.org/c/coreboot/+/64095 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Elyes Haouas <ehaouas@noos.fr> Reviewed-by: Angel Pons <th3fanbus@gmail.com>
15 lines
360 B
Text
15 lines
360 B
Text
CONFIG_USE_OPTION_TABLE=y
|
|
CONFIG_VENDOR_LENOVO=y
|
|
CONFIG_BOARD_LENOVO_T400=y
|
|
CONFIG_NO_POST=y
|
|
CONFIG_FATAL_ASSERTS=y
|
|
CONFIG_DEBUG_CBFS=y
|
|
CONFIG_DEBUG_RAM_SETUP=y
|
|
CONFIG_DEBUG_SMBUS=y
|
|
CONFIG_DEBUG_SMI=y
|
|
CONFIG_DEBUG_MALLOC=y
|
|
CONFIG_DEBUG_BOOT_STATE=y
|
|
CONFIG_DEBUG_ADA_CODE=y
|
|
CONFIG_H8_FN_KEY_AS_VBOOT_RECOVERY_SW=y
|
|
CONFIG_VBOOT=y
|
|
CONFIG_USE_EXP_X86_64_SUPPORT=y
|