Looking at the kernel memory layout for ARM Linux, I see that the virtual address 0xffff1000 is 0xffff7fff "Reserved. Platforms should not use this address range." I can not find any documentation or anything in the source.
I am doing some experiments on the Linux 2.6 kernel where I want it to work on top of the hypervisor. I thought that the hypervisor could get a virtual address space from 0xfff00000 - 0xffffffff on the Integrator CP ARM platform. Does anyone know if these addresses can be used? It appears that high virtual addresses are for certain platforms like XScale and other things that I don't use. The Cpu vector page still gets 0xffff0000.
A memory layout is available here http://www.kernel.org/doc/Documentation/arm/memory.txt
source share