add formal proof for shift/rot o.ok

[soc.git] / Makefile

diff --git a/Makefile b/Makefile
index bdfa1f8278b9795bfdf0a3f62f04ac71a8686cf6..e89ad1d9fe5807c568a2d20e3d48a4f91a0bd1ca 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,9 @@ ls180_4k_verilog:
                --enable-xics --enable-sram4x4kblock --disable-svp64 \
                        src/soc/litex/florent/libresoc/libresoc.v
 
-# build microwatt "external core"
+# build microwatt "external core", note that the TLB set size is set to 16
+# for I/D-Cache which needs a corresponding alteration of the device-tree
+# entries for linux
 microwatt_external_core:
        python3 src/soc/simple/issuer_verilog.py --microwatt-compat --enable-mmu \
             external_core_top.v