/*
 * Copyright (C) 2025-2026 Texas Instruments Incorporated - https://www.ti.com
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef BOARD_CONFIG_H
#define BOARD_CONFIG_H

void board_init(void);

#endif /* BOARD_CONFIG_H */