1# Copyright 2024 Felipe Neves
2# SPDX-License-Identifier: Apache-2.0
3
4# Enable GPIO
5CONFIG_GPIO=y
6
7# Enable MPU
8CONFIG_ARM_MPU=y
9
10# Enable HW stack protection
11CONFIG_HW_STACK_PROTECTION=y
12
13# Enable uart driver
14CONFIG_SERIAL=y
15
16# Console
17CONFIG_CONSOLE=y
18CONFIG_UART_CONSOLE=y
19