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 host device interface
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Apr 2011 15:08:24 +0000 (10:08 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Apr 2011 15:08:24 +0000 (10:08 -0500)
commit803414b62464602bee3934b94e30dca98917ce6e
tree53e1643e91246e9875122b15317e9b4ed00b82f1
parentac376813b3a6e3fbb21d20418e7fc0c9a15474ac
Added host device interface
palacios/include/interfaces/vmm_host_dev.h [new file with mode: 0644]