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.


Prefaced output from V3_Print on linux module
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 19 Jun 2012 21:28:09 +0000 (16:28 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 19 Jun 2012 21:28:09 +0000 (16:28 -0500)
commitad00932be31579b80f80c1cc67677bd3c263fd89
treecbc2fea9c2b6d4f17e90af3bbf07e7f6b696b4e8
parent791ea2f3e21cfbc9c47341efbb98995c33d86fcb
Prefaced output from V3_Print on linux module
linux_module/palacios-stubs.c
linux_module/palacios.h