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.


s patch fixes some issues I've had when compiling Palacios 32-bit.
authorErik van der Kouwe <erikvdk@gmail.com>
Tue, 13 Apr 2010 22:07:57 +0000 (17:07 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 13 Apr 2010 22:07:57 +0000 (17:07 -0500)
commit6541ca672276d841db22cc18a003303cf517ea89
tree96d1ea6fb69affdf88389c62a81914fd4bbb57de
parentc09d92dc256363c742ca2a4bef685ed79575bf22
s patch fixes some issues I've had when compiling Palacios 32-bit.
palacios/include/palacios/vmx_lowlevel.h
palacios/src/devices/netdisk.c
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ctrl_regs.c