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