re-reserve bit in setvl -- needed for extending registers:

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 3d591a83ec296a292936a107fe021d2b3330c63b..657c3791d569994153f3c354bfe287f0ec013412 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,9 +11,20 @@ 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
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=594> PartitionedSignal RFC
+   - EUR 1500
  - <https://bugs.libre-soc.org/show_bug.cgi?id=665> nmigen c compiler
  - <https://bugs.libre-soc.org/show_bug.cgi?id=214> ISANS letter
  - <https://bugs.libre-soc.org/show_bug.cgi?id=240> ISA switch