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.


set RTL8139's default io base port to -1 when registered with PCI bus Release-1.3
authorLei Xia <lxia@northwestern.edu>
Fri, 11 Nov 2011 17:06:41 +0000 (11:06 -0600)
committerLei Xia <lxia@northwestern.edu>
Fri, 11 Nov 2011 17:06:41 +0000 (11:06 -0600)
commit41080d8968ff3d19734346652ea030c4764d47ea
treeac705e7e51e5c56fc0faf16bf6e38f02215378cc
parentb68f6e946d902b7188cb875b3a5dde85424ecdc4
set RTL8139's default io base port to -1 when registered with PCI bus
palacios/src/devices/rtl8139.c