register_ioport_write(0x503, 1, 1, bochs_bios_write, NULL);
}
+#if defined(__i386__) || defined(__x86_64__)
/* Generate an initial boot sector which sets state and jump to
a specified vector */
static void generate_bootsect(uint32_t gpr[8], uint16_t segs[6], uint16_t ip)
generate_bootsect(gpr, seg, 0);
}
+#else /* __ia64__ */
+static void load_linux(const char *kernel_filename,
+ const char *initrd_filename,
+ const char *kernel_cmdline)
+{
+ /* Direct Linux boot is unsupported. */
+}
+#endif
static void main_cpu_reset(void *opaque)
{