1# Copyright (c) 2024 Google Inc
2# SPDX-License-Identifier: Apache-2.0
3
4# Serial Drivers
5CONFIG_SERIAL=y
6CONFIG_UART_INTERRUPT_DRIVEN=y
7
8# Console
9CONFIG_CONSOLE=y
10CONFIG_UART_CONSOLE=y
11
12# GPIO Controller
13CONFIG_GPIO=y
14
15# Enable MPU and HW stack protection
16CONFIG_ARM_MPU=y
17CONFIG_HW_STACK_PROTECTION=y
18