X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=0c20052ddfb0e78e803439408e666d1d071972fa;hb=639d38dc437f87b9eab6648074f7b3eb8800e5d7;hp=137674c1e8d58a17fe3844d434a2667ad50a0478;hpb=747f685ed77e4df26eb9b7b6b32412448852ffec;p=palacios.git

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 137674c..0c20052 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -6,6 +6,10 @@ ifdef V3_CONFIG_SYMMOD
 LDFLAGS += --script=$(PWD)/ld.symmod.cmd
 endif
 
+ifdef V3_CONFIG_CHECKPOINT
+LDFLAGS += --script=$(PWD)/ld.chkpt.cmd
+endif
+
 EXTRA_CFLAGS  += -I$(PWD)/../palacios/include/ -include autoconf.h -DMODULE=1 -D__KERNEL__=1
 
 
@@ -27,6 +31,7 @@ v3vee-$(V3_CONFIG_SOCKET) += iface-socket.o
 v3vee-$(V3_CONFIG_KEYED_STREAMS) += iface-keyed-stream.o
 v3vee-$(V3_CONFIG_HOST_DEVICE) += iface-host-dev.o
 v3vee-$(V3_CONFIG_GRAPHICS_CONSOLE) += iface-graphics-console.o
+v3vee-$(V3_CONFIG_EXT_MACH_CHECK) += mcheck.o
 
 v3vee-$(V3_CONFIG_VNET) += 	palacios-vnet.o \
 				palacios-vnet-ctrl.o   \