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.


large page changes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 19 Oct 2010 17:04:40 +0000 (12:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 19 Oct 2010 17:04:40 +0000 (12:04 -0500)
commite8fd1090974b1f82edd92d155ccdad6ad24b074b
tree4bfd3b507be099f914a6ab5234728c14e2b5c4f0
parentd2d752b3690d4f8ce114864724a69d0282279d58
large page changes
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_mem.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c