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.


ugg
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Jul 2008 22:53:03 +0000 (22:53 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Jul 2008 22:53:03 +0000 (22:53 +0000)
commit526ffdd06c1afb982d0d9831b99f337b6a094960
treedb606047919b3a3d4f5252a653a3529009d1205e
parent8dfa46e38fb632cd8bcbe1160d61d454a647f021
ugg
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_decoder.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_shadow_paging.c