X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2FMakefile;h=3c340debab1f4279aedde355828ded2773a6d111;hb=e3b62e7befa086a4fb320890952f54667ee46329;hp=df4e3dd718cb29df8ba65199c3c8c6dcc6114dd6;hpb=aec065bb54946223ac3c64817408466433fd9413;p=palacios.git

diff --git a/palacios/src/interfaces/Makefile b/palacios/src/interfaces/Makefile
index df4e3dd..3c340de 100644
--- a/palacios/src/interfaces/Makefile
+++ b/palacios/src/interfaces/Makefile
@@ -1,10 +1,12 @@
-obj-$(CONFIG_SOCKET) +=  vmm_socket.o
-obj-$(CONFIG_PACKET) +=  vmm_packet.o
-obj-$(CONFIG_FILE) += vmm_file.o
-obj-$(CONFIG_CONSOLE) += vmm_console.o
-obj-$(CONFIG_STREAM) += vmm_stream.o
-obj-$(CONFIG_GRAPHICS_CONSOLE) += vmm_graphics_console.o
-obj-$(CONFIG_KEYED_STREAMS) += vmm_keyed_stream.o
-obj-$(CONFIG_HOST_DEVICE) += vmm_host_dev.o
+obj-$(V3_CONFIG_SOCKET) +=  vmm_socket.o
+obj-$(V3_CONFIG_PACKET) +=  vmm_packet.o
+obj-$(V3_CONFIG_FILE) += vmm_file.o
+obj-$(V3_CONFIG_CONSOLE) += vmm_console.o
+obj-$(V3_CONFIG_STREAM) += vmm_stream.o
+obj-$(V3_CONFIG_GRAPHICS_CONSOLE) += vmm_graphics_console.o
+obj-$(V3_CONFIG_KEYED_STREAMS) += vmm_keyed_stream.o
+obj-$(V3_CONFIG_HOST_DEVICE) += vmm_host_dev.o
+obj-$(V3_CONFIG_HOST_HYPERCALL) += vmm_host_hypercall.o
 
+obj-y += null.o