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.


changed the build environment to not require rebuilding the rombios.
Jack Lange [Sat, 21 Mar 2009 00:27:29 +0000 (19:27 -0500)]
This simplifies the build process on standard environments

palacios/build/Makefile
palacios/src/vmboot/rombios/BIOS-bochs-latest [new file with mode: 0644]
palacios/src/vmboot/vgabios/VGABIOS-lgpl-latest.bin [new file with mode: 0644]

index 0fcc358..1e55a2d 100644 (file)
@@ -528,13 +528,7 @@ vgabios_link:
        ln -s -f ../src/vmboot/vgabios/VGABIOS-lgpl-latest.bin vgabios
 
 
-force_rombios: rombios_link
-       (cd ../src/vmboot/rombios; make clean; make)
-
-force_vgabios: vgabios_link
-       (cd ../src/vmboot/vgabios; make clean; make)
-
-force_payload: force_rombios force_vgabios
+force_payload: rombios_link vgabios_link
        ../scripts/make_payload.pl payload_layout.txt vm_kernel
 
 inter1: force_payload
diff --git a/palacios/src/vmboot/rombios/BIOS-bochs-latest b/palacios/src/vmboot/rombios/BIOS-bochs-latest
new file mode 100644 (file)
index 0000000..ea9a1ec
Binary files /dev/null and b/palacios/src/vmboot/rombios/BIOS-bochs-latest differ
diff --git a/palacios/src/vmboot/vgabios/VGABIOS-lgpl-latest.bin b/palacios/src/vmboot/vgabios/VGABIOS-lgpl-latest.bin
new file mode 100644 (file)
index 0000000..dc6785d
Binary files /dev/null and b/palacios/src/vmboot/vgabios/VGABIOS-lgpl-latest.bin differ