[Libre-soc-bugs] [Bug 961] NLnet 2022 Libre-SOC "ongoing" milestone 2022-08-107 (approved, MoU TBD)

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=961

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Luke Kenneth Casson Leighton from comment #2)
> suggestions from cesar:
> 2) Formal proof for LDSTCompUnit.
> 
> Unless, it already fits under the "In-order Core" task.

done https://bugs.libre-soc.org/show_bug.cgi?id=1036

> 3) Put the GRAM task and the Nexys Video task under a more general 
> "Improve ls2 support for selected FPGA boards" task.

hm good idea

-- 
You are receiving this mail because:
You are on the CC list for the bug.