Subject: Re: Changing kernel base address (was: Re: Heads up: shared arm
To: Richard Earnshaw <rearnsha@arm.com>
From: Ben Harris <bjh21@netbsd.org>
List: port-arm32
Date: 01/22/2001 13:50:10 
On Mon, 22 Jan 2001, Richard Earnshaw wrote:

> OK, lets look again at the idea of fixing config.  Maybe it's not too hard 
> after all.  The following is *totally* untested, but I think it would do 
> what was required....

That looks reasonable (apart from the name of the new argument being
different in two places).  Anyway, I've sent a message to tech-kern about
it, since it's not an arm32-specific problem.

-- 
Ben Harris                                                   <bjh21@netbsd.org>
Portmaster, NetBSD/arm26               <URL:http://www.netbsd.org/Ports/arm26/>