sel4 day announcement

[bbrcknl]

add sel4 day announcement

[github-actions]

Preview your changes here

[github-actions]

Preview your changes here

[github-actions]

Preview your changes here

The link checker found some issues!

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


Checking 585 external links
Checking 1033 internal links
Checking internal link hashes in 57 files
Ran on 131 files!


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

* 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: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/Summit/2024/program.html:3462:

  External link https://www.rockswalkingtours.com.au/walking-tour/ 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)


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