Memory manager fixes and assorted other fixes

[palacios.git] / palacios / src / interfaces / Makefile

diff --git a/palacios/src/interfaces/Makefile b/palacios/src/interfaces/Makefile
index 9d2c6f3..ae10d74 100644 (file)
--- a/palacios/src/interfaces/Makefile
+++ b/palacios/src/interfaces/Makefile
@@ -6,6 +6,10 @@ 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-$(V3_CONFIG_HOST_PCI) += host_pci.o
+obj-$(V3_CONFIG_HOST_PMU) += vmm_pmu.o
+obj-$(V3_CONFIG_HOST_PWRSTAT) += vmm_pwrstat.o
 
 obj-y += null.o
-
+obj-y += vmm_numa.o