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: 3a4e54e)
fix debugging statement
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Sep 2009 22:57:52 +0000 (17:57 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Sep 2009 22:57:52 +0000 (17:57 -0500)
commit083af1763ddaecb78ff222141d78ba17df26aa47
tree34d75140349512b52698afda3890f41aa1e4b188tree | snapshot
parent3a4e54ec208ea3589963b410d2d73292bbc4a8fecommit | diff
fix debugging statement
palacios/src/devices/apic.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project