X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=457f0783f099bd3981391f874b68ad779e02ac98;hb=496b928649b2a63c3e21e099ce914ec00b3d7227;hp=6a1754179f10cfddf5ade964ba7ca3d9b6e225aa;hpb=5eb28bfd5b8d3d8c0dddc08f3164bd56d811230d;p=palacios.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 6a17541..457f078 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -3,7 +3,7 @@ # Northwestern University # (c) 2008, Jack Lange # (c) 2008, Peter Dinda -# (c) 2008, Lei Xia +# (c) 2008, Lei Xia # (c) 2008, The V3VEE Project # # Based on GeekOS Makefile: @@ -53,11 +53,11 @@ VPATH := $(PROJECT_ROOT)/src # ifeq ($(LEAN_AND_MEAN),1) -DEBUG=0 -DEBUG_SECTIONS= +DEBUG := 0 +DEBUG_SECTIONS := else -DEBUG=1 -DEBUG_SECTIONS= +DEBUG := 1 +DEBUG_SECTIONS := endif @@ -265,6 +265,10 @@ VMM_OBJS := \ palacios/vmm_msr.o \ palacios/svm_msr.o \ palacios/vmm_socket.o \ + palacios/vmm_xed.o \ + palacios/vmm_rbtree.o \ + palacios/vmm_profiler.o \ + palacios/vmm_direct_paging.o \ # vmx.c vmcs_gen.c vmcs.c @@ -278,8 +282,8 @@ XED_OBJS := \ xed/v3-xed-compat.o \ xed/v3-udiv-compat.o \ -$(XED_OBJS) :: EXTRA_CFLAGS = - +$(XED_OBJS) :: EXTRA_CFLAGS = \ + $(JRLDEBUG) \ DEVICES_OBJS := \ devices/generic.o \ @@ -293,20 +297,11 @@ DEVICES_OBJS := \ devices/ramdisk.o \ devices/cdrom.o \ devices/bochs_debug.o \ + devices/os_debug.o \ + devices/apic.o \ -$(DEVICES_OBJS) :: EXTRA_CFLAGS = - -# -# DECODER is the decoder that will be used -# currently we only support xed -# -DECODER=XED - -ifeq ($(DECODER),XED) -VMM_OBJS += palacios/vmm_xed.o -else -# This is an error -endif +$(DEVICES_OBJS) :: EXTRA_CFLAGS = \ + $(JRLDEBUG) \ @@ -399,11 +394,12 @@ CC_GENERAL_OPTS = \ $(EXTRA_C_OPTS) \ $(VMM_FLAGS) \ -I$(PROJECT_ROOT)/include \ - -fPIC \ -Werror \ + -fPIC \ -Wp,-MD,$(@D)/.$(@F).d \ -Wp,-MT,$@ \ +#-fPIC \ #-fvisibility=hidden