X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2FMakefile;h=262b6cc3d18bb88dce18ffee32091729815e5898;hb=9feccf93cd8327d1d30a404a92f19716bf5a1e96;hp=ae10d7459b60773d3b6fe6c78140416f1b6a4edf;hpb=97126b352ec28abf6c6d8ec3883f0179a7d431c1;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