roadmap: update verification roadmap items

[lsf37]

• infoflow completed
• MCS RISC-V completed, milestone left for AArch64

[github-actions]

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...


Checking 574 external links
Checking 950 internal links
Checking internal link hashes in 56 files
Ran on 130 files!


For the Links > External check, the following failures were found:

* At _site/About/history.html:1700:

  External link https://www.dornerworks.com failed (status code 415)

* At _site/Foundation/Board/index.html:627:

  External link https://www.sigops.org/awards/hof/ failed (status code 415)

* At _site/Foundation/Membership/index.html:621:

  External link https://www.dornerworks.com failed (status code 415)

* At _site/Foundation/Membership/index.html:630:

  External link https://www.dornerworks.com failed (status code 415)

* At _site/Foundation/Membership/index.html:726:

  External link https://autoware.org/ failed (status code 415)

* At _site/Research/awards.html:701:

  External link https://www.sigops.org/2019/hof-award-2019/ failed (status code 415)

* At _site/Research/awards.html:795:

  External link https://www.sigops.org/s/conferences/sosp/2009/program.html failed (status code 415)

* At _site/Services/index.html:594:

  External link https://dornerworks.com failed (status code 415)

* At _site/Services/index.html:629:

  External link https://dornerworks.com/solutions/embedded-virtualization/sel4-microkernel/ failed (status code 415)

* At _site/Services/index.html:633:

  External link https://dornerworks.com failed (status code 415)

* At _site/Services/index.html:654:

  External link https://dornerworks.com failed (status code 415)

* At _site/Summit/2022/index.html:1191:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/Summit/2024/program.html:3324:

  External link https://www.rockswalkingtours.com.au/walking-tour/ failed (status code 415)

* At _site/Summit/2025/abstracts2025.html:1491:

  External link https://www.dornerworks.com/ failed (status code 415)

* At _site/Summit/2025/index.html:926:

  External link https://www.dornerworks.com/ failed (status code 415)

* At _site/news/2021.html:2138:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/news/2021.html:2155:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/news/2022.html:848:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/news/2022.html:850:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/news/2022.html:853:

  External link https://dornerworks.com/ failed (status code 415)

* At _site/news/2023.html:2040:

  External link https://autoware.org/ failed (status code 415)

* At _site/news/2023.html:2042:

  External link https://autoware.org/ failed (status code 415)

* At _site/news/2025.html:992:

  External link https://www.dornerworks.com/ failed (status code 415)

* At _site/news/2025.html:1203:

  External link https://www.dornerworks.com/ failed (status code 415)

* At _site/tools.html:1176:

  External link https://www.dornerworks.com/vm-composer failed (status code 415)

* At _site/tools.html:1201:

  External link https://www.dornerworks.com/vm-composer failed (status code 415)

* At _site/use.html:665:

  External link https://www.dornerworks.com/vm-composer/ failed (status code 415)

* At _site/use.html:680:

  External link https://www.dornerworks.com/vm-composer/ failed (status code 415)

* At _site/use.html:686:

  External link https://www.dornerworks.com/vm-composer/ failed (status code 415)

* At _site/use.html:690:

  External link https://www.dornerworks.com failed (status code 415)


HTML-Proofer found 30 failures!
make: *** [Makefile:98: checklinks] Error 1

[github-actions]

Preview your changes here