Ok, back to this again. I mentioned previously that I have 5 VMWare Server boxes with 2 dual quad core Xeons in each plus 16GB of ram in each. All running Debian 4.0. Now, to make better use of this memory, would it be prudent to use the BIGMEM kernel instead of the default kernel?