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 per core memory map support
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 04:02:43 +0000 (22:02 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 04:02:43 +0000 (22:02 -0600)
commit36c1666cf64c49302d906a79d8cafbf760452d86
tree15f60cb7d54c5165503adc128945497388453a2a
parentea2c3508b25e832976994db6ccedb4be94137e48
added per core memory map support
palacios/include/palacios/vmm_mem.h
palacios/src/devices/pci.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_config_class.h
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_shadow_paging_64.h