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.


Add guest build manual
authorLei Xia <lxia@northwestern.edu>
Tue, 22 Dec 2009 19:51:19 +0000 (13:51 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 22 Dec 2009 19:51:19 +0000 (13:51 -0600)
commitc69623b464b4e35feb787507121ebdc459faba19
treee77bdfe1920a6706dfb2277c91f71faaed9a14e0
parentd475d585a594df8ef7b438a08e3fa16ed3dcb0e0
Add guest build manual
manual/guest_build/Makefile [new file with mode: 0644]
manual/guest_build/Palacios_Guest_Build.tex [new file with mode: 0644]
manual/guest_build/busyboxConf1.eps [new file with mode: 0644]
manual/guest_build/busyboxConf2.eps [new file with mode: 0644]
manual/guest_build/kittenConf1.eps [new file with mode: 0644]
manual/guest_build/kittenConf2.eps [new file with mode: 0644]
manual/guest_build/linuxConf.eps [new file with mode: 0644]