| # Copyright 2023 Google LLC | |
| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_SOC_SERIES_STM32H7X=y | |
| CONFIG_SOC_STM32H747XX=y | |
| # Board config should be specified since there are 2 possible targets | |
| CONFIG_BOARD_ARDUINO_GIGA_R1_M4=y | |
| # Enable GPIO | |
| CONFIG_GPIO=y | |
| # Clock configuration | |
| CONFIG_CLOCK_CONTROL=y | |
| # Enable MPU | |
| CONFIG_ARM_MPU=y | |
| # Enable HW stack protection | |
| CONFIG_HW_STACK_PROTECTION=y | |
| # Enable uart driver | |
| CONFIG_SERIAL=y | |
| # Console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # Enable pin controller | |
| CONFIG_PINCTRL=y |