1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * (C) Copyright 2002 4 * Sysgo Real-Time Solutions, GmbH <www.elinos.com> 5 * Marius Groeger <mgroeger@sysgo.de> 6 * 7 * Copyright (C) 2017 Andes Technology Corporation 8 * Rick Chen, Andes Technology Corporation <rick@andestech.com> 9 */ 10 11#ifndef _U_BOOT_RISCV_H_ 12#define _U_BOOT_RISCV_H_ 1 13 14/* cpu/.../cpu.c */ 15int cleanup_before_linux(void); 16 17/* board/.../... */ 18int board_init(void); 19 20#endif /* _U_BOOT_RISCV_H_ */ 21