# Copyright (c) 2023 HPMicro
# SPDX-License-Identifier: BSD-3-Clause


sdk_inc(.)
sdk_src(pinmux.c)
sdk_src(board.c)
