#
# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: BSD-2-Clause
# 3rd-party file
*Hardware/CEI_TK1_SOM/L4TCan/mcp251x.c