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