The difference is space assigned to PCI cards or reserved for hot-plug PCI
cards. You should be able to run a CONFIG_HIGHMEM64G-enabled kernel (such
as the Red Hat 2.4.x-enterprise kernels instead of the -smp kernel) and be
able to use the remaining memory, at the performance cost of enabling PAE.
Thanks,
Matt
-- Matt Domsch Sr. Software Engineer Dell Linux Solutions www.dell.com/linux #1 US Linux Server provider with 24.5% (IDC Dec 2001) #2 Worldwide Linux Server provider with 18.5% (IDC Dec 2001) - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/