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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 0acab7c)
added vnet dependency
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:50:18 +0000 (13:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:50:18 +0000 (13:50 -0600)
commit778f42967e678d533cb7569dffb1cf60862b8a8c
tree1a5217709127c79f3e58201c9cc481e00b5f0351tree | snapshot
parent0acab7cc621777394096377d6412e7f796e41769commit | diff
added vnet dependency
palacios/src/devices/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project