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 patch series, compilation enabled
authorAndy Gocke <agocke@gmail.com>
Thu, 16 Jul 2009 01:58:49 +0000 (20:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 16 Jul 2009 02:02:01 +0000 (21:02 -0500)
commit1f5b9287e61b8a4164f81e52dccf3ddd59a891f8
treec3342b3f77e1d57295443dcfe0aab95586f1f157
parent50dd6f837443d6f5a8cfb2410f1f8d95e8367b6a
VMX patch series, compilation enabled
palacios/build/Makefile
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_lowlevel.h
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmx.c