1# Copyright (c) 2019-2020 Linaro Limited
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_MUSCA_S1
5
6config BOARD
7	default "musca_s1" if TRUSTED_EXECUTION_SECURE || !TRUSTED_EXECUTION_NONSECURE
8	default "musca_s1_ns"
9
10if SERIAL
11
12config UART_INTERRUPT_DRIVEN
13	default y
14
15endif # SERIAL
16
17endif
18