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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: aec065b)
Generic device now supports host device interface (and memory hooks)
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Apr 2011 18:56:46 +0000 (13:56 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Apr 2011 18:56:46 +0000 (13:56 -0500)
commit45d9da21cb9fcff297b690cc9f12c9a7c7a6ecb5
treeb27bf099a9d0b5774ce7d1f4631d428a520ccd85tree | snapshot
parentaec065bb54946223ac3c64817408466433fd9413commit | diff
Generic device now supports host device interface (and memory hooks)
palacios/src/devices/generic.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes