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.


VGA: fixed dodgy passthrough support
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 29 Mar 2011 22:26:00 +0000 (17:26 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 29 Mar 2011 22:26:00 +0000 (17:26 -0500)
commit1ad0e892e8e3886c3bab0d6ec127abca337711ac
tree5abaf37a52a583d5d5d869a8011ea4fe5f96956b
parent201c3bb9d4fa7606dbd3193baf408f29142381d1
VGA: fixed dodgy passthrough support
Also added passthrough mirroring checks to facilitate debugging
palacios/src/devices/vga.c