+ifeq ($(INSTRUMENT_VMM),1)
+ EXTRA_C_OPTS:= -DINSTRUMENT_VMM
+endif
# ----------------------------------------------------------------------
# Configuration -
palacios/vmm_profiler.o \
palacios/vmm_direct_paging.o \
palacios/vmm_ringbuffer.o \
+ palacios/vmm_instrument.o \
# vmx.c vmcs_gen.c vmcs.c
#-fPIC \
#-fvisibility=hidden
-
+ifeq ($(INSTRUMENT_VMM),1)
+ INSTRUMENT_OPT = -finstrument-functions
+else
+ INSTRUMENT_OPT =
+endif
# Flags passed to objcopy program (strip unnecessary sections from kernel.exe)
OBJCOPY_FLAGS := -R .dynamic -R .note -R .comment
-c \
$< \
-o $@ \
+ $(INSTRUMENT_OPT) \
)
AS_COMPILE = \
-c \
$< \
-o $@ \
+ $(INSTRUMENT_OPT) \
)