X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=3570f463c1483876ad22f6673283aa884e11d1e0;hb=4f7c3b759e3889870c5b5e7d09b3ffcc168e5632;hp=8e570363efad1d2cc7bbd513568d0b9c1ea63567;hpb=6d967c202c0afba89cc4a279118ed36ea3d5bf04;p=palacios-OLD.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 8e57036..3570f46 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -1,7 +1,14 @@ # Makefile for GeekOS kernel, userspace, and tools +# +# Northwestern University +# (c) 2008, Jack Lange +# (c) 2008, Peter Dinda +# +# Based on GeekOS Makefile: # Copyright (c) 2004,2005 David H. Hovemeyer # $Revision: 1.71 $ + # This is free software. You are permitted to use, # redistribute, and modify it as specified in the file "COPYING". @@ -462,10 +469,16 @@ vmm.img : fd.img cp fd.img vmm.img $(PAD) vmm.img 1474560 -force_rombios: +rombios_link: + ln -s -f ../src/vmboot/rombios/BIOS-bochs-latest rombios + +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: +force_vgabios: vgabios_link (cd ../src/vmboot/vgabios; make clean; make) force_payload: force_rombios force_vgabios