1if TARGET_ST_STM32MP15x
2
3config SYS_BOARD
4	default "stm32mp1"
5
6config SYS_VENDOR
7	default "st"
8
9config SYS_CONFIG_NAME
10	default "stm32mp1"
11
12source "board/st/common/Kconfig"
13endif
14