From 42da8da2b75c98a413f8a0da47488b3091141c55 Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Tue, 10 Dec 2024 16:56:37 +0800
Subject: [PATCH] Doc

---
 ceno_rt/src/mmio.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ceno_rt/src/mmio.rs b/ceno_rt/src/mmio.rs
index af38d6d35..3994750b5 100644
--- a/ceno_rt/src/mmio.rs
+++ b/ceno_rt/src/mmio.rs
@@ -5,7 +5,9 @@ use rkyv::{Portable, api::high::HighValidator, bytecheck::CheckBytes, rancor::Fa
 use core::slice::from_raw_parts;
 
 extern "C" {
-    // The address of this variable is the start of the hints ROM.
+    /// The address of this variable is the start of the hints ROM.
+    ///
+    /// It is defined in the linker script.
     static _hints_start: u8;
 }