| Marek Vasut | b786256 | 2017-01-18 23:01:45 +0100 | [diff] [blame] | 1 | #ifndef NIOS2_BOOT_H |
| 2 | #define NIOS2_BOOT_H | ||||
| 3 | |||||
| 4 | #include "hw/hw.h" | ||||
| 5 | #include "cpu.h" | ||||
| 6 | |||||
| 7 | void nios2_load_kernel(Nios2CPU *cpu, hwaddr ddr_base, uint32_t ramsize, | ||||
| 8 | const char *initrd_filename, const char *dtb_filename, | ||||
| 9 | void (*machine_cpu_reset)(Nios2CPU *)); | ||||
| 10 | |||||
| 11 | #endif /* NIOS2_BOOT_H */ | ||||