X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=7a42b2280642b213d396fc28d81f4047e30c8326;hb=8cb3daaded0d8c80be801aa74493006b5a06999f;hp=ab3ad93ce199d625d0cbfff56618d4f4d0d040d2;hpb=4939ecae04ce6416f404670640620a23aee9b914;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index ab3ad93..7a42b22 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 <daveho@cs.umd.edu>
-# $Revision: 1.16 $
+# $Revision: 1.20 $
 
 # This is free software.  You are permitted to use,
 # redistribute, and modify it as specified in the file "COPYING".
@@ -84,10 +84,11 @@ KERNEL_C_SRCS := idt.c int.c trap.c irq.c io.c \
 	bget.c malloc.c \
 	synch.c kthread.c \
 	serial.c  reboot.c \
-        paging.c vmx.c vmcs_gen.c vmcs.c \
-	 svm.c vmm.c vmm_util.c vmm_stubs.c \
-	vmcb.c vmm_mem.c vm_guest.c vmm_paging.c \
-	debug.c\
+        paging.c  vm_guest.c \
+	 svm.c svm_handler.c vmm.c vmm_util.c vmm_stubs.c svm_ctrl_regs.c \
+	vmcb.c vmm_mem.c vmm_paging.c vmm_io.c vmm_debug.c \
+	vmm_shadow_paging.c vm_guest_mem.c \
+	debug.c  vmx.c vmcs_gen.c vmcs.c\
 	main.c
 
 # Kernel object files built from C source files
@@ -182,7 +183,7 @@ NUMSECS := $(PERL) $(PROJECT_ROOT)/scripts/numsecs
 # ----------------------------------------------------------------------
 
 # Flags used for all C source files
-GENERAL_OPTS := -O -Wall $(EXTRA_C_OPTS) $(JRLDEBUG) $(PADFLAGS)
+GENERAL_OPTS := -O -Wall $(EXTRA_C_OPTS) $(JRLDEBUG) $(PADFLAGS) -fPIC
 CC_GENERAL_OPTS := $(GENERAL_OPTS) -Werror 
 
 # Flags used for kernel C source files