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.releases.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 97be699)
Implemented all and all-but-me shorthand delivery for IPIs
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 6 Oct 2010 00:46:38 +0000 (19:46 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 6 Oct 2010 00:46:38 +0000 (19:46 -0500)
commitd7d072c27d0f94634ffc247704b7f4314d1ae66f
tree0bbc2dc66e01b4d408359083018d7fcdc47e9760tree | snapshot
parent97be69907158d04dee9d87650b491a830698b700commit | diff
Implemented all and all-but-me shorthand delivery for IPIs
where the logical destination mode is specified
palacios/src/devices/icc_bus.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project