found linux kernel source references

diff --git a/TLB/src/ariane/ptw.py b/TLB/src/ariane/ptw.py
index f73709defb41853ece445b39d05b2481eb104b73..c19a6b101b6adf74ea3f6d94a344927fdf737433 100644 (file)
--- a/TLB/src/ariane/ptw.py
+++ b/TLB/src/ariane/ptw.py
@@ -16,6 +16,13 @@
 
 /* verilator lint_off WIDTH */
 import ariane_pkg::*;
+
+see linux kernel source:
+
+* "arch/riscv/include/asm/page.h"
+* "arch/riscv/include/asm/mmu_context.h"
+* "arch/riscv/Kconfig" (CONFIG_PAGE_OFFSET)
+
 """
 
 from nmigen import Const, Signal, Cat, Module