]>
Commit | Line | Data |
---|---|---|
b7862564 MV |
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 */ |