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.


data type fixes
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 26 May 2011 18:00:58 +0000 (13:00 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 26 May 2011 18:00:58 +0000 (13:00 -0500)
commitbd8cdd82060e4b14b05b4093705ac578ab8c607b
tree4f67626859310fa157cb7a327ec4cbb299363329
parent9b82fd29e9dc2b85339938098f77d8cf3487b099
data type fixes
palacios/include/palacios/vmx_lowlevel.h