allow_devmem.o \
util-queue.o \
util-hashtable.o \
- linux-exts.o
+ linux-exts.o \
+ buddy.o \
+ numa.o
v3vee-$(V3_CONFIG_CONSOLE) += iface-console.o
v3vee-$(V3_CONFIG_FILE) += iface-file.o
v3vee-$(V3_CONFIG_GRAPHICS_CONSOLE) += iface-graphics-console.o
v3vee-$(V3_CONFIG_EXT_MACH_CHECK) += mcheck.o
+v3vee-$(V3_CONFIG_MEM_TRACK) += memtrack.o
+
v3vee-$(V3_CONFIG_HOST_PMU) += iface-pmu.o
+v3vee-$(V3_CONFIG_HOST_PWRSTAT) += iface-pwrstat.o
+v3vee-$(V3_CONFIG_HOST_PSTATE_CTRL) += iface-pstate-ctrl.o
v3vee-$(V3_CONFIG_VNET) += palacios-vnet.o \
palacios-vnet-ctrl.o \
v3vee-$(V3_CONFIG_HOST_PCI) += iface-host-pci.o
+v3vee-$(V3_CONFIG_DEBUG_LOCKS) += lockcheck.o
+v3vee-$(V3_CONFIG_DEBUG_MEM_ALLOC) += memcheck.o
+
+
v3vee-objs := $(v3vee-y) ../libv3vee.a
obj-m := v3vee.o