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: 3518e3e)
add missed header file
authorLei Xia <lxia@northwestern.edu>
Thu, 16 Jun 2011 14:20:52 +0000 (09:20 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 16 Jun 2011 14:20:52 +0000 (09:20 -0500)
commit9e24e6f10bafeaeb057be5cacfa3eb4810157439
tree930dfd4f09735e5df13dae1f8f716d1e36fcb16ctree | snapshot
parent3518e3eb158edabb0d471ceb406c450490a4d07acommit | diff
add missed header file
linux_module/palacios-vnet.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project