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.


Updated VGA to support the graphics console host interface
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Apr 2011 00:01:29 +0000 (19:01 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 5 Apr 2011 00:01:29 +0000 (19:01 -0500)
commit03715266180ca2d9ea6ca4bbd9151d0017cefa49
tree9be59aada25e906b11e6bb66dde9f61266c25b0a
parentc3ba9f9d738531f47610806bccfca29c0b02cc2b
Updated VGA to support the graphics console host interface
   - Currently it just renders something visual to it
palacios/src/devices/Kconfig
palacios/src/devices/vga.c