]>
Commit | Line | Data |
---|---|---|
d94e7434 PC |
1 | #ifndef __MICROBLAZE_BOOT__ |
2 | #define __MICROBLAZE_BOOT__ | |
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 PC |
11 | |
12 | #endif /* __MICROBLAZE_BOOT __ */ |