Re: Reserving physical memory in Linux