Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added mem_size config variable
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Oct 2008 05:30:17 +0000 (00:30 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Oct 2008 05:30:17 +0000 (00:30 -0500)
commit165560d91368d638b177022f883d3723d7618944
tree6a3ea4cf9ac22d5822ae6d3dd38f4cc120204f81
parent9b31f917eae9b397cb21ff78d81084301b289e43
added mem_size config variable
not yet hooked up in the VMM
restructured the configuration
kitten/palacios-glue/vm.c
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/src/devices/nvram.c
palacios/src/palacios/vmm_config.c