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.


setting up framework for 64 bit shadow paging
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 29 Oct 2008 21:48:02 +0000 (16:48 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 29 Oct 2008 21:48:02 +0000 (16:48 -0500)
commit9b31f917eae9b397cb21ff78d81084301b289e43
treedefb03d061a6fa4db007815b1676665a7efc9581
parenta0c519f730b179ea90b3f3ac861133906b4f8645
setting up framework for 64 bit shadow paging
streamlined geekos build
build/Makefile
palacios/build/Makefile
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_shadow_paging.c