# | |
# 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 |