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 / commitdiff
? search: re
summary | shortlog | log | commit | commitdiff | tree
raw (parent: 8070d5e)
SEABIOS binaries added for ease in building palacios
Peter Dinda [Fri, 28 Jun 2013 20:50:29 +0000 (15:50 -0500)]
bios/seabios/out/bios.bin [new file with mode: 0644] patch | blob
bios/seabios/out/bios.bin.elf [new file with mode: 0755] patch | blob
bios/seabios/out/bios.bin.raw [new file with mode: 0755] patch | blob

diff --git a/bios/seabios/out/bios.bin b/bios/seabios/out/bios.bin
new file mode 100644 (file)
index 0000000..561b6c5
Binary files /dev/null and b/bios/seabios/out/bios.bin differ
diff --git a/bios/seabios/out/bios.bin.elf b/bios/seabios/out/bios.bin.elf
new file mode 100755 (executable)
index 0000000..c011f97
Binary files /dev/null and b/bios/seabios/out/bios.bin.elf differ
diff --git a/bios/seabios/out/bios.bin.raw b/bios/seabios/out/bios.bin.raw
new file mode 100755 (executable)
index 0000000..e92e1b7
Binary files /dev/null and b/bios/seabios/out/bios.bin.raw differ
Public Palacios Development Repository for the V3VEE Project