ARM Kernel memory layout

view full story

http://unix.stackexchange.com – Looking at the Kernel memory layout for ARM Linux, I can see that virtual address 0xffff1000 - 0xffff7fff is "Reserved. Platforms must not use this address range". I can't seem to find any documentation or anything in the source. I am doing some experiments on the Linux kernel 2.6 where I want it to run on top of a hypervisor. I was thinking that the hypervisor could get the virtual address space from 0xfff00000 - 0xffffffff on the Integrator CP ARM platform. Does anyone know if these addresses can be used? It seems that the high virtual addresses are for specific platforms like XScale and ot (HowTos)