I'm trying to track down much ram mach problem, but I'm not neither an experienced C programmer and kernel developer, so for me it's quite hard to do. Btw, I was able to boot my workstation with 1 Gb of ram just forcing kernel to believe that system's got only 512mb, if anyone has problems with booting with big amount of ram can just do this simple hack in gnumach-20010718/i386/i386at/model_dep.c, changing line 204:
phys_last_addr = 0x100000 + (boot_info->mem_upper * 0x400); to phys_last_addr = 0x1fff0000; -- Andrea Leofreddi, Campus of University Tor Vergata, Rome, Italy
