| # Copyright (c) 2017 Linaro Limited |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| if BOARD_MPS2_AN385 |
| |
| config BOARD |
| default "mps2_an385" |
| |
| if GPIO |
| |
| config GPIO_CMSDK_AHB |
| default y |
| |
| endif # GPIO |
| |
| if SERIAL |
| |
| config UART_CMSDK_APB |
| default y |
| |
| config UART_INTERRUPT_DRIVEN |
| default y |
| |
| endif # SERIAL |
| |
| config WDOG_CMSDK_APB |
| default y |
| depends on WATCHDOG |
| |
| if COUNTER |
| |
| config TIMER_TMR_CMSDK_APB |
| default y |
| |
| config TIMER_DTMR_CMSDK_APB |
| default y |
| |
| endif # COUNTER |
| |
| config I2C_SBCON |
| default y |
| depends on I2C |
| |
| config ZTEST_STACKSIZE |
| default 4096 if ZTEST |
| |
| if COVERAGE |
| |
| config MAIN_STACK_SIZE |
| default 4096 |
| |
| config IDLE_STACK_SIZE |
| default 4096 |
| |
| config PRIVILEGED_STACK_SIZE |
| default 4096 |
| |
| config ISR_STACK_SIZE |
| default 4096 |
| |
| config TEST_EXTRA_STACKSIZE |
| default 4096 |
| |
| endif # COVERAGE |
| |
| endif |
