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 Kitten booting from PXE manual
authorLei Xia <lxia@northwestern.edu>
Mon, 25 Jan 2010 20:00:34 +0000 (14:00 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 25 Jan 2010 20:00:34 +0000 (14:00 -0600)
commit4a159a81f66d3d4b826392059086962db2776a5c
tree23eeaea6057d36593dc63d4918241e586c1c2f0e
parent2a2af1bc026217edcb4ebddfc08f28f1a606adaf
Add Kitten booting from PXE manual
manual/network_boot/Makefile [new file with mode: 0644]
manual/network_boot/Network_Booting_Kitten_using_PXE.pdf [new file with mode: 0644]
manual/network_boot/Network_Booting_Kitten_using_PXE.tex [new file with mode: 0644]