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.


Linux printing macros for linux module
authorBen Scholbrock <penguin.of.death@gmail.com>
Tue, 19 Jun 2012 20:44:39 +0000 (15:44 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 19 Jun 2012 20:44:39 +0000 (15:44 -0500)
commit6c3678abe628e0d705dd42f9c4d6a333d032f784
tree60213f51d6f4f3314ef104d2ac6733756c45dcfa
parent91a4db3c4b06db6a44aa0daeaab750df666d5d79
Linux printing macros for linux module
linux_module/palacios.h