1 files changed, 3 insertions, 2 deletions
diff --git a/pk/pk.lds b/pk/pk.lds
index 1bc9adf..f1f3f95 100644
--- a/pk/pk.lds
+++ b/pk/pk.lds
@@ -44,9 +44,10 @@ SECTIONS
   /* HTIF, isolated onto separate page                                  */
   /*--------------------------------------------------------------------*/
   . = ALIGN(0x1000);
-  htif :
+  .htif :
   {
-    *(htif)
+    PROVIDE( __htif_base = . );
+    *(.htif)
   }
   . = ALIGN(0x1000);