Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 (MU) 9/23/84; site basser.oz
Path: utzoo!linus!philabs!cmcl2!seismo!munnari!basser!boyd
From: boyd@basser.oz (Boyd Roberts)
Newsgroups: net.unix-wizards
Subject: Re: Rebooting 4.2BSD on a 780
Message-ID: <332@basser.oz>
Date: Wed, 19-Jun-85 04:39:48 EDT
Article-I.D.: basser.332
Posted: Wed Jun 19 04:39:48 1985
Date-Received: Sun, 23-Jun-85 13:46:14 EDT
References: <11030@brl-tgr.ARPA> <412@mtxinu.UUCP>
Reply-To: boyd@basser.oz (Boyd Roberts)
Organization: Dept. of Comp. Science, Univ. of Sydney, Australia
Lines: 21

>In article <11030@brl-tgr.ARPA> droms@PURDUE.ARPA (Ralph E Droms) writes:
>>Is it possible to use /etc/reboot (4.2BSD) to cause a 780 to load a kernel
>>from a file other than /vmunix?
>

It's trivial.  Just link the new kernel to /vmunix.  Hack the source
to reboot (if you have it) or make reboot a shell script to do the link
and then call the real reboot.

Recently we've written BSD lookalike auto-reboot for our 32V kernel.
To boot a new kernel it's just:

# reboot /newunix

For a long time we've linked the current kernel to /unix so
as not to confuse stuff that digs into /unix's namelist.

Boyd Roberts

...!decvax!mulga!basser.oz!boyd
...!seismo!munnari!basser.oz!boyd		<- faster ->