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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 49c7a10)
Makefile now has global debug control:
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:26:31 +0000 (17:26 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:26:31 +0000 (17:26 +0000)
commitd172c2b8434d7731d757b9fac20d59f562ff9df0
treeb9ff5ca0a620dfe483674fbe6d4bb5f7e2995c7dtree | snapshot
parent49c7a104d9f4dcc11e6a0d0ec20cac2f3a0c2d20commit | diff
Makefile now has global debug control:

make DEBUG=1 <whatever> turns on all the debug defines, etc
palacios/build/Makefile diff | blob | history
palacios/include/palacios/vmm.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project