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.


fixed pci index register (its a DWORD index, not a byte index)
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 21:39:56 +0000 (16:39 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 21:39:56 +0000 (16:39 -0500)
commitdb77959ea07c25b21177bad78509ef7c82412fe8
treea90051a66fe2fe957afa136a762ed0275f25d4d5
parentee177da9b30ebf340c63fb5b9d535c729f90134d
fixed pci index register (its a DWORD index, not a byte index)
palacios/src/devices/pci.c