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.


Additional features for vmm_bitmap
authorMark Cartwright <mcartwright@gmail.com>
Thu, 19 Jul 2012 21:24:19 +0000 (16:24 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 Jul 2012 21:24:19 +0000 (16:24 -0500)
commite61e0890e6f13b1362cfffdcd287e90f1d41e443
treec3c78d1a496af8c66605a96865ab4b0a5ded74d1
parentb8fb74a295ebc2697876ac81f2b00628503a3822
Additional features for vmm_bitmap
palacios/include/palacios/vmm_bitmap.h
palacios/src/palacios/vmm_bitmap.c