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.


add updated vgabios with "Start X fails" bug fixed
authorLei Xia <lxia@northwestern.edu>
Fri, 25 Feb 2011 03:08:41 +0000 (21:08 -0600)
committerLei Xia <lxia@northwestern.edu>
Fri, 25 Feb 2011 03:08:41 +0000 (21:08 -0600)
commit966a31897e0d3372a9a9aad265c983869a438676
treea136e3a51c552cd8face0edd7c37a6779c6cc6b6
parentb6ff5bb58adf267d74ccb2c1df4fbd632ee97946
add updated vgabios with "Start X fails" bug fixed
bios/vgabios/vgabios-qemu-0.14.bin [new file with mode: 0644]