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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 44cd68a)
switch print statements back to debug
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 19 Aug 2009 18:42:41 +0000 (13:42 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 19 Aug 2009 18:42:41 +0000 (13:42 -0500)
commitc4a5d877f7cbd0419439af4adf600dde225e9564
tree70451cff1abe5defcc1ead15f59c743477d03b6dtree | snapshot
parent44cd68a3f5ee32889b833931af00adfb1a54f109commit | diff
switch print statements back to debug
palacios/src/devices/pci.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project