libre-chip/website
3
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix broken link to first nlnet grant
All checks were successful
Deploy / deploy (push) Successful in 28s
Details

Browse source
This commit is contained in:
Jacob Lifshay 2025-11-04 02:16:33 -08:00
parent 1ee95335c0
commit ec7930739a
Signed by: programmerjake
SSH key fingerprint: SHA256:HnFTLGpSm4Q4Fj502oCFisjZSoakwEuTsJJMSke63RQ
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/first_arch/index.md
View file

@ -4,7 +4,7 @@
The CPU architecture will be developed in several stages: The CPU architecture will be developed in several stages:
1. [First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324](../first_arch/index.md) 1. [First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324](../grants/nlnet-first.md)
1. Getting an initial working CPU 1. Getting an initial working CPU
2. Formal proof that the CPU doesn't have any spectre-style bugs even though it still is OoO superscalar with speculative execution. Jacob Lifshay came up with this idea [back in 2020](https://web.archive.org/web/20201021124234/https://bugs.libre-soc.org/show_bug.cgi?id=209) 2. Formal proof that the CPU doesn't have any spectre-style bugs even though it still is OoO superscalar with speculative execution. Jacob Lifshay came up with this idea [back in 2020](https://web.archive.org/web/20201021124234/https://bugs.libre-soc.org/show_bug.cgi?id=209)