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.


updated comments for compiler compatibility
authorErik van der Kouwe <erikvdk@gmail.com>
Tue, 23 Feb 2010 19:56:37 +0000 (13:56 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 23 Feb 2010 19:56:37 +0000 (13:56 -0600)
commit5a354421360c38d0f4d90f03c25296b2b35eec0e
treef3c417e6d3ab90c59d8af83492912e1f8002da96
parent3d2d01f344c7417adba8f7b8ac6501d45392222f
updated comments for compiler compatibility
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_mem.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmm_util.h