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.


Move vnet to src/palacios/
authorLei Xia <lxia@northwestern.edu>
Mon, 16 Nov 2009 22:33:12 +0000 (16:33 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 16 Nov 2009 22:33:12 +0000 (16:33 -0600)
commitc43fab2e53aa1a129a1020410c67de0240369ec0
tree4e102176231bdbb2778015e3b895a6441ff9457b
parent2bc23d57beaa42446ee7db3f0c7052086f88b0c5
Move vnet to src/palacios/
palacios/src/palacios/Makefile
palacios/src/palacios/vmm_vnet.c [new file with mode: 0644]