1 files changed, 10 insertions, 0 deletions
diff --git a/hw/nios2/boot.h b/hw/nios2/boot.h
new file mode 100644
index 00000000..59b9fbfc
--- /dev/null
+++ b/hw/nios2/boot.h
@@ -0,0 +1,10 @@
+#ifndef NIOS2_BOOT_H
+#define NIOS2_BOOT_H
+
+#include "cpu.h"
+
+void nios2_load_kernel(Nios2CPU *cpu, hwaddr ddr_base, uint32_t ramsize,
+                       const char *initrd_filename, const char *dtb_filename,
+                       void (*machine_cpu_reset)(Nios2CPU *));
+
+#endif /* NIOS2_BOOT_H */