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 binding error in graphics console for new extension interface
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 10 Jun 2011 20:45:55 +0000 (15:45 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 10 Jun 2011 20:45:55 +0000 (15:45 -0500)
commit1074795f0ba8f58ae03c8062e8b25d61e065648a
tree0e8bf7d002b105c01e6cedaf3b40e109026da8f8
parentb60c22ac6fcdd9df6c5d78fc1f464ac3148c8060
Fixed binding error in graphics console for new extension interface
linux_module/palacios-graphics-console.c
linux_module/palacios-host-dev.c