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.


made pci default for IDE device
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 02:04:54 +0000 (21:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 02:04:54 +0000 (21:04 -0500)
commit709ff8e4b1ca5412e4dd66101e25dc67751c8df7
tree96e444799ceca892ec81e7313ad0543e60e5f924
parenta324c2f94d551153eae802930f674f1cfe8ce1f8
made pci default for IDE device
palacios/src/palacios/vmm_config.c