On 04/29/2012 04:00 PM, Ralf Mardorf wrote: I still wonder what to do, to get access to the > 4GB RAM, instead of just 3.8GB, since arch is 64-bit. Which kernel are you using?