| # | |
| # Copyright (c) 2019 Linaro Limited | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| if BOARD_MUSCA_B1 | |
| if TRUSTED_EXECUTION_SECURE || !TRUSTED_EXECUTION_NONSECURE | |
| config BOARD | |
| default "musca_b1" | |
| endif | |
| if TRUSTED_EXECUTION_NONSECURE | |
| config BOARD | |
| default "musca_b1_nonsecure" | |
| endif | |
| if SERIAL | |
| config UART_PL011 | |
| def_bool y | |
| config UART_INTERRUPT_DRIVEN | |
| def_bool y | |
| config UART_PL011_PORT0 | |
| def_bool y | |
| config UART_PL011_PORT1 | |
| def_bool y | |
| endif # SERIAL | |
| endif |