From: lkcl <lkcl@web>
Date: Fri, 1 Jul 2022 09:50:29 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1422
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=07094739d3d6305914fbf51b929f7b2f0a1f0e1e;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index b9daacac3..657c3791d 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,6 +11,15 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 move things along from one stage to the next
 
+## Priority tasks to keep an eye on
+
+* <https://bugs.libre-soc.org/show_bug.cgi?id=195> Power ISA Formal Proof
+  EUR 6550
+* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
+   EUR 8650
+* <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof
+  EUR 5000
+
 ## Currently working on
 
  - Project Management