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