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.


added pci debugging support
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 15:58:23 +0000 (10:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 15:58:23 +0000 (10:58 -0500)
commita8f6e2e57dcdf859b87a0a14198337d2707ca75f
tree1a4a6da0dad231c7a19cd85812841a30dc6c1317
parent0571f2369394b543798185df0a248eb581b0757d
added pci debugging support
build/Makefile