diff options
Diffstat (limited to 'hw/microblaze_boot.h')
| -rw-r--r-- | hw/microblaze_boot.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/hw/microblaze_boot.h b/hw/microblaze_boot.h new file mode 100644 index 0000000000..69d4ac635b --- /dev/null +++ b/hw/microblaze_boot.h @@ -0,0 +1,10 @@ +#ifndef __MICROBLAZE_BOOT__ +#define __MICROBLAZE_BOOT__ + +#include "hw.h" + +void microblaze_load_kernel(CPUState *env, target_phys_addr_t ddr_base, + uint32_t ramsize, const char *dtb_filename, + void (*machine_cpu_reset)(CPUState *)); + +#endif /* __MICROBLAZE_BOOT __ */ |