On Nov 10, 2007, at 10:55 PM, Tim Rightnour wrote:

>
> On 10-Nov-2007 Frank Wille wrote:
>> Then I remembered the KERNEL_SR and VM_MIN_KERNEL_ADDRESS defines,  
>> which, as
>> I understand it, define the start address of kernel-memory  
>> allocations?
>> KERNEL_SR is 13, so it is 0xd0000000 as well!

1) user space is complete separate from kernel.
2) kernel space starts anywhere after physical memory ends.
3) I/O space -> kernel_space need not be pa:va

You could have the kernel map va 0x8....... to 0xd.......

If at all posible, leave KERNEL_SR as 0xd to catch bogus 0xdeadXXXX
references.