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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 8070d5e)
SEABIOS binaries added for ease in building palacios
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 28 Jun 2013 20:50:29 +0000 (15:50 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:19 +0000 (17:31 -0500)
commitc773a8af29187c22fe69812f98b55a4427ab5f7f
treee7984ffbe2e5a8496ea2d9574bddde026d89f3b9tree | snapshot
parent8070d5e87ee3b92cc95bdcb65b2906b0a55d2ea9commit | diff
SEABIOS binaries added for ease in building palacios
bios/seabios/out/bios.bin [new file with mode: 0644] blob
bios/seabios/out/bios.bin.elf [new file with mode: 0755] blob
bios/seabios/out/bios.bin.raw [new file with mode: 0755] blob
Public Palacios Development Repository for the V3VEE Project