1 | #ifndef NIOS2_BOOT_H |
---|---|
2 | #define NIOS2_BOOT_H |
3 | |
4 | #include "cpu.h" |
5 | |
6 | void nios2_load_kernel(Nios2CPU *cpu, hwaddr ddr_base, uint32_t ramsize, |
7 | const char *initrd_filename, const char *dtb_filename, |
8 | void (*machine_cpu_reset)(Nios2CPU *)); |
9 | |
10 | #endif /* NIOS2_BOOT_H */ |
11 |