1# Copyright (c) 2017 Linaro Limited 2# SPDX-License-Identifier: Apache-2.0 3 4if BOARD_MPS2_AN385 5 6config BOARD 7 default "mps2_an385" 8 9if SERIAL 10 11config UART_INTERRUPT_DRIVEN 12 default y 13 14endif # SERIAL 15 16config ZTEST_STACK_SIZE 17 default 4096 if ZTEST 18 19if COVERAGE 20 21config MAIN_STACK_SIZE 22 default 4096 23 24config IDLE_STACK_SIZE 25 default 4096 26 27config PRIVILEGED_STACK_SIZE 28 default 4096 29 30config ISR_STACK_SIZE 31 default 4096 32 33config TEST_EXTRA_STACK_SIZE 34 default 4096 35 36endif # COVERAGE 37 38endif 39
