Re: 1G memory for L4Linux on Panda