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.


removed old vnet file
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 19:38:07 +0000 (14:38 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 May 2010 19:38:07 +0000 (14:38 -0500)
commit6fd2f3d7a6e940ce9527d64a84725052bbb56392
treec8e99363ae86252c837f190b5bf850a8512e214c
parent5d078e1a82b626909107896c2a5cf1a17be3a607
removed old vnet file
palacios/src/devices/vnet.c [deleted file]