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