diff --git a/docs/riscv-isa/src/mm-formal.adoc b/docs/riscv-isa/src/mm-formal.adoc
new file mode 100644
index 000000000..200edb8fe
--- /dev/null
+++ b/docs/riscv-isa/src/mm-formal.adoc
@@ -0,0 +1,7 @@
+[appendix]
+== Formal Memory Model Specifications, Version 0.1
+[[mm-formal]]
+
+ifeval::["{ohg-config}" == "CV32A65X"]
+{ohg-config}: No RVWMO memory model.
+endif::[]