Skip to content

Add seL4 17.0.0 release news item - #638

Merged
lsf37 merged 2 commits into
masterfrom
lsf37/release-17
Oct 30, 2026
Merged

Add seL4 17.0.0 release news item#638
lsf37 merged 2 commits into
masterfrom
lsf37/release-17

Conversation

@lsf37

@lsf37 lsf37 commented Oct 30, 2026

Copy link
Copy Markdown
Member

Announcing the seL4 17.0.0++ release.

Should be merged last, after the docsite is updated in seL4/docs#357

@lsf37
lsf37 requested a review from june-andronick October 30, 2026 07:17
@github-actions

github-actions Bot commented Oct 30, 2026

Copy link
Copy Markdown

Preview your changes here

The link checker found some issues!

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


Checking 632 external links
Checking 1077 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/index.html:1092:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/index.html:1094:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/index.html:1096:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/index.html:1098:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

* At _site/index.html:1123:

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)

* At _site/news/2026.html:598:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/news/2026.html:600:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/news/2026.html:602:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/news/2026.html:604:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

* At _site/news/2026.html:629:

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)

* At _site/news/index.html:598:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/news/index.html:600:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/news/index.html:602:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/news/index.html:604:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

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

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)


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

@lsf37
Add seL4 17.0.0 release news item
392635b 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@github-actions

github-actions Bot commented Oct 30, 2026

Copy link
Copy Markdown

Preview your changes here

The link checker found some issues!

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


Checking 632 external links
Checking 1077 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/index.html:1092:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/index.html:1094:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/index.html:1096:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/index.html:1098:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

* At _site/index.html:1123:

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)

* At _site/news/2026.html:598:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/news/2026.html:600:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/news/2026.html:602:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/news/2026.html:604:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

* At _site/news/2026.html:629:

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)

* At _site/news/index.html:598:

  External link https://docs.sel4.systems/releases/sel4/17.0.0 failed (status code 404)

* At _site/news/index.html:600:

  External link https://docs.sel4.systems/releases/microkit/2.4.0 failed (status code 404)

* At _site/news/index.html:602:

  External link https://docs.sel4.systems/releases/camkes/camkes-3.13.1 failed (status code 404)

* At _site/news/index.html:604:

  External link https://docs.sel4.systems/releases/capdl/0.6.1 failed (status code 404)

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

  External link https://docs.sel4.systems/releases/sel4/17.0.0.html failed (status code 404)


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

@github-actions

github-actions Bot commented Oct 30, 2026

Copy link
Copy Markdown

Preview your changes here

@lsf37
lsf37 merged commit 4ee6bfe into master Oct 30, 2026
11 checks passed
@lsf37
lsf37 deleted the lsf37/release-17 branch October 30, 2026 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@june-andronick june-andronick june-andronick approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@lsf37 @june-andronick