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 bug fix
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 1 Jun 2016 01:16:19 +0000 (20:16 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 1 Jun 2016 01:34:42 +0000 (20:34 -0500)
commit7e1ce44438e3ba765e1a8ec2d67c03af12c841e7
tree64c4813a4dc403c2ad286188b45c414463f9ee0d
parent28cd2d6deca639fe40256c4d3f2c8f9491ec777a
VGA bug fix
palacios/src/devices/vga_regs.h