From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 19 Apr 2019 07:31:30 +0000 (+0100)
Subject: found linux kernel source references
X-Git-Tag: div_pipeline~2217
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a9e2401b6ea2953b5932d035ddbedbe73743ae1;p=soc.git

found linux kernel source references
---

diff --git a/TLB/src/ariane/ptw.py b/TLB/src/ariane/ptw.py
index f73709de..c19a6b10 100644
--- 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