X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2FMakefile;h=262b6cc3d18bb88dce18ffee32091729815e5898;hb=8d2c7907ad4b10ccb51dfb7e5ee7c02604b786ba;hp=ae10d7459b60773d3b6fe6c78140416f1b6a4edf;hpb=8070d5e87ee3b92cc95bdcb65b2906b0a55d2ea9;p=palacios.git

diff --git a/palacios/src/interfaces/Makefile b/palacios/src/interfaces/Makefile
index ae10d74..262b6cc 100644
--- a/palacios/src/interfaces/Makefile
+++ b/palacios/src/interfaces/Makefile
@@ -10,6 +10,7 @@ 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-$(V3_CONFIG_HOST_LAZY_FPU_SWITCH) += vmm_lazy_fpu.o
 
 obj-y += null.o
 obj-y += vmm_numa.o