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 refactoring
authorAndy Gocke <agocke@gmail.com>
Mon, 13 Jul 2009 17:22:18 +0000 (12:22 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 13 Jul 2009 18:14:34 +0000 (13:14 -0500)
commite058c75f238c6662f6ae1cd517bbca030cc130ab
tree8c26c7217f9a3ef38bef07334e6d8dd6ee754c5d
parent51a4889bd4aceea8308b2b23adf6a68455c52936
vmx refactoring
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