1 /* 2 * Copyright (C) 2025-2026 Texas Instruments Incorporated - https://www.ti.com 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef BOARD_CONFIG_H 8 #define BOARD_CONFIG_H 9 10 void board_init(void); 11 12 #endif /* BOARD_CONFIG_H */ 13