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: 3aa43c8)
Implementation of the host device interface + interface cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Apr 2011 17:01:12 +0000 (12:01 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Apr 2011 17:01:12 +0000 (12:01 -0500)
commitaec065bb54946223ac3c64817408466433fd9413
treeba3123aa986b4ff7feec1fff5fb759da27997014tree | snapshot
parent3aa43c8aeb9750675238aa33db37c771d815a706commit | diff
Implementation of the host device interface + interface cleanup
palacios/include/interfaces/vmm_host_dev.h diff | blob | history
palacios/src/interfaces/Kconfig diff | blob | history
palacios/src/interfaces/Makefile diff | blob | history
palacios/src/interfaces/vmm_host_dev.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project