From owner-freebsd-current  Sat Apr 27 09:36:42 1996
Return-Path: owner-current
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.3/8.7.3) id JAA24261
          for current-outgoing; Sat, 27 Apr 1996 09:36:42 -0700 (PDT)
Received: from sag.space.lockheed.com (sag.space.lockheed.com [192.68.162.134])
          by freefall.freebsd.org (8.7.3/8.7.3) with SMTP id JAA24254
          for <current@freebsd.org>; Sat, 27 Apr 1996 09:36:40 -0700 (PDT)
Received: by sag.space.lockheed.com; (5.65v3.2/1.1.8.2/21Nov95-0423PM)
	id AA16841; Sat, 27 Apr 1996 09:36:40 -0700
Date: Sat, 27 Apr 1996 09:36:40 -0700 (PDT)
From: "Brian N. Handy" <handy@sag.space.lockheed.com>
To: Kim Culhan <kimc@w8hd.org>
Cc: current@freebsd.org
Subject: Re: can't change -current kernel file
In-Reply-To: <Pine.BSF.3.91.960427114311.163A-100000@moonpie.w8hd.org>
Message-Id: <Pine.OSF.3.91.960427093329.16725B-100000@sag.space.lockheed.com>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: owner-current@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk


On Sat, 27 Apr 1996, Kim Culhan wrote:

> Trying to install a new kernel I find it is impossible to change the
> name or rm the present kernel file.

The simplest way to do this is after you've done "make depend; make" is 
to do a "make install".  

Perusing the Makefile, we have in more detail:

	chflags noschg /kernel
	mv /kernel /kernel.old
	install -c -m 555 -o root -g wheel -fschg kernel /

I skipped a couple of steps here...at this point you need to reboot to 
get your new kernel working.  

Good luck and Godspeed,

Brian