summaryrefslogtreecommitdiff
path: root/init
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-08-11 16:25:04 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-08-11 16:25:04 +0000
commitcd715c272d7d2c5ae28f494528ecc2a38060d6e9 (patch)
tree8429bbe8e70019ec59d71436f5957e1bc3c1ef9a /init
parent29b909ed76e4db105c6a55f8df6e383623a50eee (diff)
Formerly init.c.~35~
Diffstat (limited to 'init')
-rw-r--r--init/init.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c
index 661c1e23..2fce0b72 100644
--- a/init/init.c
+++ b/init/init.c
@@ -423,6 +423,7 @@ launch_system (void)
char shell[] = "/bin/sh";
char pipes[] = "/hurd/pipes\0/servers/socket/1";
char terminal[] = "/hurd/term\0console\0/dev/console";
+ char devname[] = "/hurd/dev\0/dev";
mach_port_t term;
task_t termtask;
task_t foo;
@@ -465,8 +466,13 @@ launch_system (void)
We must do this before calling proc_setmsgport below. */
proc_task2proc (procserver, fstask, &fsproc);
+#if 1
+ /* Run the device server */
+ termtask = run_for_real (devname, devname, sizeof (devname));
+#else
/* Run the terminal driver and open it for the shell. */
termtask = run_for_real (terminal, terminal, sizeof (terminal));
+#endif
if (termtask)
{
/* Open the console. We are racing here against the