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 kconfig template filE
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 26 Nov 2009 20:11:13 +0000 (14:11 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 26 Nov 2009 20:11:13 +0000 (14:11 -0600)
commit6cbdc3c14d417e26bf6dfdf08e19e09db44fdf51
tree8ea5c2edf697dcf4976ae5c8b822195bc20977c5
parentafb2a35b2e15ba0fa932c4e49a3678f958a4502a
removed kconfig template filE
Kconfig.template [deleted file]