# Copyright 2022 hpmicro
# SPDX-License-Identifier: BSD-3-Clause

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