The kernel is being piggy. If you have > 16 Meg, 40 meg gets reserved by the kernel , mostly so it can use it for bitmaps. You can reduce that by putting the following in plan9.ini: *kernelpercent=xx where xx is the percentage you want to reserve for the kernel.