hw/nios2/boot.h

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