Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...

diff --cc geekos/src/geekos/vm.c

index 7cb1acb,36b9740..fe7b44c
--- 1/geekos/src/geekos/vm.c
--- 2/geekos/src/geekos/vm.c
+++ b/geekos/src/geekos/vm.c
@@@ -104,9 -104,9 +104,11 @@@ int RunVMM(struct Boot_Info * bootInfo
      
      vm_config.rombios = region_start;
      vm_config.rombios_size = rombios->length;
+ +
+ +    vm_config.mem_size = 128 * 1024 * 1024;
      
+     vm_config.mem_size = 128 * 1024 * 1024;
+ 
      region_start += rombios->length;
  
  #ifdef PROFILE_VMM