From: lkcl Date: Mon, 4 Jul 2022 11:52:44 +0000 (+0100) Subject: (no commit message) X-Git-Tag: opf_rfc_ls005_v1~1354 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62890ea3779718d048a709f729707fdbe6fa794f;p=libreriscv.git --- diff --git a/lkcl.mdwn b/lkcl.mdwn index 657c3791d..058ded9fb 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -7,12 +7,10 @@ Lead dev and Project Coordinator for Libre-SOC. * readthedocs link * -# Status tracking - -move things along from one stage to the next - -## Priority tasks to keep an eye on +# Priority tasks to keep an eye on +* Atomics, Jacob + EUR 2500 * Power ISA Formal Proof EUR 6550 * nmutil/etc Formal Proofs @@ -20,6 +18,11 @@ move things along from one stage to the next * 6600 proof EUR 5000 + +# Status tracking + +move things along from one stage to the next + ## Currently working on - Project Management