/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright (C) 2025 Altera Corporation <www.altera.com>
 */

#ifndef BOARD_H_
#define BOARD_H_

u8 socfpga_get_board_id(void);

#endif /* _BOARD_H_ */