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 symbiotic config requirement to passthrough PCI
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 14 Jan 2010 00:28:02 +0000 (18:28 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 14 Jan 2010 00:28:02 +0000 (18:28 -0600)
commit7277b8aed5bb77dd7366100c4f17009f847e0c02
tree83252ed248515ca5193b1862685614362ff0059b
parent2b9ea885a5ccfc672b0fd05302a271bbcd61d17f
added symbiotic config requirement to passthrough PCI
palacios/src/devices/Kconfig