X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=0d114cd6f11a2f0e911859ae635403a6e44f205f;hb=d81740cae7d1ebf42b080cba893500cec39a8a03;hp=8e9d972d273758529c407b7fd9ed7931891494c7;hpb=bbef87558ec784cd99c72b759aa78a8c47aa5fd3;p=palacios-OLD.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 8e9d972..0d114cd 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -179,6 +179,14 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_HALT endif endif +ifeq ($(DEBUG_APIC),1) +DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_APIC +else +ifeq ($(DEBUG_APIC),0) +DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_APIC +endif +endif + ifeq ($(DEBUG_DEV_MGR),1) DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_DEV_MGR else @@ -279,6 +287,7 @@ VMM_OBJS := \ palacios/vmm_profiler.o \ palacios/vmm_direct_paging.o \ palacios/vmm_ringbuffer.o \ + palacios/vmm_hypercall.o \ $(OBJ_FILES) # vmx.c vmcs_gen.c vmcs.c @@ -311,6 +320,8 @@ DEVICES_OBJS := \ devices/os_debug.o \ devices/apic.o \ devices/io_apic.o \ + devices/vnic.o \ + devices/vpci.o \ $(DEVICES_OBJS) :: EXTRA_CFLAGS = \ $(JRLDEBUG) \