Port-arm archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Why KERNEL_BASE is 0x80000000?

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

Home | Main Index | Thread Index | Old Index