X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=812d4c98c164a65f39d84b5e0565345e40cf0a20;hb=c3b81025fc7957141b1bc8d790f5850f008cc289;hp=51413b6abb170822cdd1a96f3dbc7ff70e51d466;hpb=624d18dad00545964d9074ebd3fc35def3589f48;p=palacios.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 51413b6..812d4c9 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -1,6 +1,6 @@ # Makefile for GeekOS kernel, userspace, and tools # Copyright (c) 2004,2005 David H. Hovemeyer -# $Revision: 1.36 $ +# $Revision: 1.40 $ # This is free software. You are permitted to use, # redistribute, and modify it as specified in the file "COPYING". @@ -85,7 +85,7 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \ synch.c kthread.c \ serial.c reboot.c \ paging.c \ - debug.c vmm_stubs.c vm.c\ + debug.c vmm_stubs.c vm.c pci.c\ main.c # Kernel object files built from C source files @@ -126,7 +126,8 @@ VMM_C_SRCS := vm_guest.c \ vmcb.c vmm_mem.c vmm_paging.c vmm_io.c vmm_debug.c svm_io.c \ vmm_intr.c vmm_time.c\ vmm_shadow_paging.c vm_guest_mem.c \ - vm_dev.c vmm_dev_mgr.c \ + vm_dev.c vmm_dev_mgr.c vmm_decoder.c \ + svm_halt.c #\ # vmx.c vmcs_gen.c vmcs.c @@ -295,13 +296,15 @@ vmm.img : fd.img $(PAD) vmm.img 1474560 force_rombios: - (cd ../src/vmboot/rombios; make) - cp ../src/vmboot/rombios/BIOS-bochs-latest rombios + (cd ../src/vmboot/rombios; make clean; make) +# cp ../src/vmboot/rombios/BIOS-bochs-latest rombios +force_vgabios: + (cd ../src/vmboot/vgabios; make clean; make) -world: force_rombios +world: force_rombios force_vgabios ../scripts/make_payload.pl payload_layout.txt vm_kernel - make clean + - make clean make vmm.img # make ready to boot over PXE