blob: dd1090d8b55eb53b952a658c7377ef5b5655d70a (
plain)
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 */
|