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.


turn telemetry off by default
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Sep 2009 23:02:13 +0000 (18:02 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Sep 2009 23:02:13 +0000 (18:02 -0500)
commit6d48586c3d205ca13abc3f4b68063bdba61a9b48
tree2b13d3827a48d88767dbbba33b7d0d5c8398f497
parent068d7e66db537f981fde19a098a12e4390fa3de4
turn telemetry off by default
Kconfig