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.


enabled debug mask
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Jun 2009 22:59:53 +0000 (17:59 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 26 Jun 2009 22:59:53 +0000 (17:59 -0500)
commit571f7abd65c99247e529ef012965d5dffbe55bc4
tree0e78a5c9942409a7e061e3645af8fe5c86b07f63
parent7fdd83a34becb3abf0f2b88e16eb85a106aa9db2
enabled debug mask
palacios/src/devices/net_cd.c