Rebooting 4.2BSD on a 780

[jack at boring.UUCP]

In article <2331 at mordor.UUCP> jdb at mordor.UUCP (John Bruner) writes
about his /boot, that, among other things, puts the name of the
kernel it booted into a string in that kernel.

In my opinion, this *can* be used on 4.2 *without* modifying
every program that reads /vmunix. Just run a program during
an early phase of startup that grabs the kernel name from /dev/kmem,
and have it setup a symbolic link in /vmunix.......

(Of course, /boot should default boot from, for instance, real-vmunix,
and not vmunix. Unless you want to build symbolic links into /boot.....)

-- 
	Jack Jansen, jack at mcvax.UUCP
	The shell is my oyster.