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.


starting work on 64 bit shadow paging
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 22:19:08 +0000 (16:19 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 22:19:08 +0000 (16:19 -0600)
commite4c0bf63a6e95019f79f7ff9915fd5d360d2c31a
tree39ae15fcd84552bf13557fe89ff0b1c3d9aa0592
parent427424e8db42ca592805f79d3ca673d50ab51ad9
starting work on 64 bit shadow paging
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_shadow_paging_64.h