+#if (DEVELOPMENT || DEBUG)
+ int err;
+ /*
+ * For debugging purposes, generate a core file of initproc before
+ * panicking. Leave at least 300 MB free on the root volume, and ignore
+ * the process's corefile ulimit.
+ */
+ if ((err = coredump(p, 300, 1)) != 0) {
+ printf("Failed to generate initproc core file: error %d", err);
+ } else {
+ printf("Generated initproc core file");
+ sync(p, (void *)NULL, (int *)NULL);
+ }
+#endif
+ init_task_died = TRUE;