Changes to try to make time handling better. Also disabled TSC offsetting for now...

[palacios.git] / linux_module / ld.cmd

diff --git a/linux_module/ld.cmd b/linux_module/ld.cmd
index 7dd7747..bd86dc7 100644 (file)
--- a/linux_module/ld.cmd
+++ b/linux_module/ld.cmd
@@ -1,5 +1,12 @@
 SECTIONS
 {
+
+       _lnx_exts :
+       {
+               __start__lnx_exts = .;
+               *(_lnx_exts);
+               __stop__lnx_exts = .;   
+       }
        _v3_devices :
        {
                __start__v3_devices = .;
@@ -22,5 +29,6 @@ SECTIONS
                __stop__v3_extensions = .;
 
        }
+
 }