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.


added updated version of the VGABIOS needed to work with SEABIOS
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 7 Jun 2013 20:32:35 +0000 (15:32 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:19 +0000 (17:31 -0500)
commitae65553e547e1008fa4eb44d0442f6422854e03b
treeedc6103c10767e36119e8c20aa4ff74d50b1ff52
parent21b5e1a60356c6e89b053ea2529695c011891444
added updated version of the VGABIOS needed to work with SEABIOS
bios/seabios-vga/VGABIOS-lgpl-latest.bin [new file with mode: 0644]