1#ifndef MICROBLAZE_BOOT_H
2#define MICROBLAZE_BOOT_H
3
4
5void 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