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.


email notification test 3
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Jun 2009 23:10:46 +0000 (18:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Jun 2009 23:10:46 +0000 (18:10 -0500)
commit10c081c88e3b23c9ca76f0c103f988d85bab5eb4
treee33431942921e03b01d66cad9082435fcd1379fd
parent55ced750335769366957df3c0cc3fbc8b82a3ea9
email notification test 3
palacios/src/palacios/vmm_queue.c