X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=23651216b1760824878558459e32d093468f8d68;hb=833883b8268075ac0685c3e920071b1718f414e3;hp=abf382a3cbfa335fa58c6a14582fa25b0e51da2c;hpb=ead9425b90a4adf9e7dc9b97086796b9323d6d42;p=palacios.releases.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index abf382a..2365121 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -4,4 +4,5 @@ obj-$(V3_CONFIG_EXT_VTSC) += ext_vtsc.o
 obj-$(V3_CONFIG_EXT_VTIME) += ext_vtime.o
 obj-$(V3_CONFIG_EXT_INSPECTOR) += ext_inspector.o
 obj-$(V3_CONFIG_EXT_MACH_CHECK) += ext_mcheck.o
+obj-$(V3_CONFIG_EXT_SW_INTERRUPTS += ext_sw_intr.o