X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=lkcl.mdwn;h=c7f06f0d9a6a90c55371f036aa3a181dc25a985f;hb=b5779ef6f1259ad1abde8e8f8b3b40a9c9dc82f6;hp=a4e4f24de3d2fb7020a6b1bfd8fcf3c6e60747d7;hpb=e9e97ee8da9d88caee77949919093702dcb8d0ab;p=libreriscv.git
diff --git a/lkcl.mdwn b/lkcl.mdwn
index a4e4f24de..c7f06f0d9 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -6,28 +6,12 @@ Lead dev and Project Coordinator for Libre-SOC.
* [180nm task list](https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1)
* readthedocs link
*
+*
# Priority tasks to keep an eye on
-* Atomics, Jacob
- EUR 2500
-* Power ISA Formal Proof
- EUR 6550
-* ISACaller, Dmitry
- EUR 1000
-* Pack/Unpack
- EUR 700
-* pypowersim, Andrey
- EUR 800
-* nmutil/etc Formal Proofs
- EUR 8650
* 6600 proof
EUR 5000
-* Video Simulator
- EUR 5000
-* Video ops
- EUR 2500
-
# Status tracking