X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=992dcfea5b891ea80c47722aee2b00126aa45ad3;hb=8a9058301d5a8dc0509aea2c52fed7cd93b7c38d;hp=0f98a566c9175a375ac68d8f9f4e978998a7a561;hpb=0e1c2f1eb7e964848d43824328205d5557bc7639;p=palacios.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 0f98a56..992dcfe 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -279,6 +279,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 @@ -310,6 +311,7 @@ DEVICES_OBJS := \ devices/bochs_debug.o \ devices/os_debug.o \ devices/apic.o \ + devices/io_apic.o \ $(DEVICES_OBJS) :: EXTRA_CFLAGS = \ $(JRLDEBUG) \