1 | #ifndef MICROBLAZE_BOOT_H |
---|---|
2 | #define MICROBLAZE_BOOT_H |
3 | |
4 | |
5 | void microblaze_load_kernel(MicroBlazeCPU *cpu, hwaddr ddr_base, |
6 | uint32_t ramsize, |
7 | const char *initrd_filename, |
8 | const char *dtb_filename, |
9 | void (*machine_cpu_reset)(MicroBlazeCPU *)); |
10 | |
11 | #endif /* MICROBLAZE_BOOT_H */ |
12 |