1# Copyright (c) 2022 HPMicro 2# SPDX-License-Identifier: BSD-3-Clause 3 4sdk_compile_definitions_ifdef(BUILD_FOR_SECONDARY_CORE BOARD_RUNNING_CORE=HPM_CORE1) 5 6sdk_inc(.) 7sdk_src(pinmux.c) 8sdk_src(board.c) 9