Re: Why KERNEL_BASE is 0x80000000?

[Steve Woodford <scw%netbsd.org@localhost>]

On Saturday 10 May 2008 17:44:38 Matt Thomas wrote:

> I have updated the std.xxx in evbarm to define KERNEL_BASE_EXT for
> those configurations that need it.
>
> The reason for the change is that i really want user/kernel address
> space
> split to be 0x80000000 so that we can use the armv6 and later feature
> of split TTBs.

Since the split is specific to armv6, I think it would have been better 
to key off something like __ARM_ARCH_6__ instead of requiring every 
non-armv6 port to provide an override.

Cheers, Steve