Re: Physical memory allocation to L4linux