added module linker script for checkpoint code

diff --git a/linux_module/Makefile b/linux_module/Makefile
index d028d2e..0c20052 100644 (file)
--- 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
 
 

diff --git a/linux_module/ld.chkpt.cmd b/linux_module/ld.chkpt.cmd
new file mode 100644 (file)
index 0000000..7a46435
--- /dev/null
+++ b/linux_module/ld.chkpt.cmd
@@ -0,0 +1,10 @@
+SECTIONS
+{
+       _v3_chkpt_stores :
+       {
+               __start__v3_chkpt_stores = .;
+               *(_v3_chkpt_stores);
+               __stop__v3_chkpt_stores = .;
+       }
+}
+