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.


new copy of manual
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Mar 2010 21:36:39 +0000 (15:36 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Mar 2010 21:36:39 +0000 (15:36 -0600)
commit87b1679efe8bee960b65cfd730188ccc94966b71
tree1393110a63e81aa633599671a54c4d8076845f42
parent21df67a7435c744e31ad1210b5d77dbd52d2e5e5
new copy of manual
manual/network_boot/Network_Booting_Kitten_using_PXE.pdf
palacios/src/palacios/svm.c