1# Copyright (c) 2025 Arduino SA
2# SPDX-License-Identifier: Apache-2.0
3
4CONFIG_GPIO=y
5
6CONFIG_BUILD_OUTPUT_BIN=y
7
8CONFIG_SERIAL=y
9CONFIG_UART_CONSOLE=y
10CONFIG_UART_INTERRUPT_DRIVEN=y
11CONFIG_CONSOLE=y
12
13CONFIG_DYNAMIC_INTERRUPTS=y
14
15CONFIG_REGULATOR=y
16