[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
> 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.
Main Index |
Thread Index |