# doconfig

 *** SYSTEM NAME SPECIFICATION ***

Select the name of your system using alphanumeric characters.
The first character must be a letter.  For example, tinker.

Enter your system name:  softy

You selected softy as the name of your system.
Is this correct? (y/n) [y]: y

A system with that name already exists.  Replace it? (y/n) [n]:
Using existing /sys/conf/mips/SOFTY file. . .

Do you want to edit the configuration file? (y/n) [n]: n

*** PERFORMING SYSTEM CONFIGURATION ***
    working ..... Thu Nov  7 11:08:58 PST 1991
    working ..... Thu Nov  7 11:10:58 PST 1991
    working ..... Thu Nov  7 11:12:59 PST 1991


The new kernel is /sys/MIPS/SOFTY/vmunix
# cp /vmunix /vmunix.old
# cp /sys/MIPS/SOFTY/vmunix /vmunix