]>
Commit | Line | Data |
---|---|---|
2a6a4076 MA |
1 | #ifndef MICROBLAZE_BOOT_H |
2 | #define MICROBLAZE_BOOT_H | |
d94e7434 | 3 | |
83c9f4ca | 4 | #include "hw/hw.h" |
d94e7434 | 5 | |
a8170e5e | 6 | void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, |
ec426ff8 EI |
7 | uint32_t ramsize, |
8 | const char *initrd_filename, | |
9 | const char *dtb_filename, | |
bf494367 | 10 | void (*machine_cpu_reset)(MicroBlazeCPU *)); |
d94e7434 | 11 | |
2a6a4076 | 12 | #endif /* MICROBLAZE_BOOT_H */ |