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.


vmx_patch5
authorAndy Gocke <agocke@gmail.com>
Thu, 23 Jul 2009 20:19:42 +0000 (15:19 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Jul 2009 20:19:42 +0000 (15:19 -0500)
commita1d3e2f36e9ef64ca62c611c4f0aa050726e186b
treecdf7d3f6d03b95023403363b734d58ca424099ec
parent4b1d9abc6b8998e9910c54cb1927c99e95d2e5f0
vmx_patch5
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_lowlevel.h
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmx.c