From: Jack Lange <jacklange@cs.pitt.edu>
Date: Fri, 16 Sep 2011 19:40:58 +0000 (-0400)
Subject: added module linker script for checkpoint code
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=639d38dc437f87b9eab6648074f7b3eb8800e5d7

added module linker script for checkpoint code
---

diff --git a/linux_module/Makefile b/linux_module/Makefile
index d028d2e..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
 
 
diff --git a/linux_module/ld.chkpt.cmd b/linux_module/ld.chkpt.cmd
new file mode 100644
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 = .;
+	}
+}
+