#ifndef NIOS2_BOOT_H | |
#define NIOS2_BOOT_H | |
#include "hw/hw.h" | |
#include "cpu.h" | |
void nios2_load_kernel(Nios2CPU *cpu, hwaddr ddr_base, uint32_t ramsize, | |
const char *initrd_filename, const char *dtb_filename, | |
void (*machine_cpu_reset)(Nios2CPU *)); | |
#endif /* NIOS2_BOOT_H */ |