From: lkcl <lkcl@web>
Date: Sun, 4 Jun 2023 11:46:51 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d5202010365c67cf418fe162c086231746103993;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls010.mdwn b/openpower/sv/rfc/ls010.mdwn
index 044e087b7..e1c5e1c52 100644
--- a/openpower/sv/rfc/ls010.mdwn
+++ b/openpower/sv/rfc/ls010.mdwn
@@ -8,6 +8,8 @@
 * <https://bugs.libre-soc.org/show_bug.cgi?id=1056>
 * <https://git.openpower.foundation/isa/PowerISA/issues/64>
 * <https://git.openpower.foundation/isa/PowerISA/issues/122>
+* <https://libre-soc.org/openpower/sv/ls010/trial_addi/>
+* <https://libre-soc.org/openpower/sv/ls010/hypothetical_addi/>
 
 **Severity**: Major