1# SPDX-License-Identifier: Apache-2.0
2
3# Enable MPU
4CONFIG_ARM_MPU=y
5
6# Kernel Options due to Low Memory (8k)
7CONFIG_MAIN_STACK_SIZE=640
8CONFIG_IDLE_STACK_SIZE=200
9CONFIG_ISR_STACK_SIZE=512
10
11# Serial Drivers
12CONFIG_SERIAL=y
13CONFIG_UART_INTERRUPT_DRIVEN=y
14# enable console
15CONFIG_CONSOLE=y
16CONFIG_UART_CONSOLE=y
17
18# GPIO Controller
19CONFIG_GPIO=y
20