X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=1b2cf5ddf901dc7c2cf5e892f38b787fd2565c0e;hb=3a47eb153e415d718e5d5601b79767b7335a149f;hp=6d60c7e02ccb52fbd00912dea1f34bd6d09784dc;hpb=da0f0deecf22754656bad2a95640461ec3ac4f1d;p=palacios.releases.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 6d60c7e..1b2cf5d 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,9 @@ 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 \ # vmx.c vmcs_gen.c vmcs.c @@ -278,8 +281,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 \ @@ -294,19 +297,8 @@ DEVICES_OBJS := \ devices/cdrom.o \ devices/bochs_debug.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) \ @@ -400,6 +392,7 @@ CC_GENERAL_OPTS = \ $(VMM_FLAGS) \ -I$(PROJECT_ROOT)/include \ -Werror \ + -fPIC \ -Wp,-MD,$(@D)/.$(@F).d \ -Wp,-MT,$@ \