Is there a way to reserve a specific physical address space (say 0x2000 - 0x1000) in linux
I need to reserve it so that Linux does not use it in any way. It is used by some unrelated coprocessor, so it must be left unused.
thanks
To do this, you will have to write a kernel module. See Chapter 15, βMemory and DMA Mapping, β from β Linux Device Drivers Third Edition β
[EDIT] You can use the Linux memmap kernel memmap for this:
memmap
memmap=4K$0x2000
Kudos go to Basile Starinkevich (see comment above)