+/* boot.c 1.1 86/01/12 */
+/* boot.c 6.1 83/07/29 */
+
+#include "../machine/mtpr.h"
+
+#include "param.h"
+#include "inode.h"
+#include "fs.h"
+#include "vm.h"
+#include "saio.h"
+#include "reboot.h"
+
+#include <a.out.h>
+
+/*
+ * Boot program... arguments passed in r10 and r11 determine
+ * whether boot stops to ask for system name and which device
+ * boot comes from.
+ */
+
+/* r11 = 0 -> automatic boot, load file '/vmunix' */
+/* r11 = 1 -> ask user for file to load */
+
+/* Types in r10 specifying major device */
+char devname[][3] = {
+ 'f','s','d', /* 0 = fsd */
+ 's','m','d', /* 1 = smd or cmd */
+ 'x','f','d', /* 2 = xfd */
+ 'x','s','d', /* 2 = xsd */
+ 'c','y','p', /* 3 = cypher tape */
+};
+
+#ifdef FSD
+char line[100] = "fsd(0,0)vmunix";
+#endif
+#ifdef SMD
+char line[100] = "smd(0,0)vmunix";
+#endif
+#ifdef XFD
+char line[100] = "xfd(0,0)vmunix";
+#endif
+#ifdef XSD
+char line[100] = "xsd(0,0)vmunix";
+#endif
+#ifdef JUSTASK
+char line[100];
+#endif
+
+int retry = 0;
+
+main()
+{
+ register dummy; /* skip r12 */
+ register howto, devtype; /* howto=r11, devtype=r10 */
+ int io;
+
+#ifdef lint
+ howto = 0; devtype = 0;
+#endif
+ printf("\nBoot\n");
+#ifdef JUSTASK
+ howto = RB_ASKNAME|RB_SINGLE;
+#endif
+ for (;;) {
+ if (howto & RB_ASKNAME) {
+ printf(": ");
+ gets(line);
+ } else
+ printf(": %s\n", line);
+ io = open(line, 0);
+ if (io >= 0)
+ copyunix(howto, io);
+ if (++retry > 2)
+ howto |= RB_SINGLE|RB_ASKNAME;
+ }
+}
+
+/*ARGSUSED*/
+copyunix(howto, io)
+ register io, howto;
+{
+ struct exec x;
+ register int i;
+ char *addr;
+
+ i = read(io, (char *)&x, sizeof x);
+ if (i != sizeof x ||
+ (x.a_magic != 0407 && x.a_magic != 0413 && x.a_magic != 0410))
+ _stop("Bad format\n");
+ printf("%d", x.a_text);
+ if (x.a_magic == 0413 && lseek(io, 0x400, 0) == -1)
+ goto shread;
+ if (read(io, (char *)0x800, x.a_text) != x.a_text)
+ goto shread;
+ addr = (char *)(x.a_text + 0x800);
+ if (x.a_magic == 0413 || x.a_magic == 0410)
+ while ((int)addr & CLOFSET)
+ *addr++ = 0;
+ printf("+%d", x.a_data);
+ if (read(io, addr, x.a_data) != x.a_data)
+ goto shread;
+ addr += x.a_data;
+ printf("+%d", x.a_bss);
+ x.a_bss += 32*1024; /* slop */
+ for (i = 0; i < x.a_bss; i++)
+ *addr++ = 0;
+ x.a_entry &= 0x1fffffff;
+ printf(" start 0x%x\n", x.a_entry);
+ mtpr(PADC, 0); /* Purge data cache */
+ mtpr(PACC, 0); /* Purge code cache */
+ if ((howto & RB_DCOFF) == 0)
+ mtpr(DCR, 1); /* Enable data cache */
+ (*((int (*)()) x.a_entry))();
+shread:
+ _stop("Short read\n");
+}