Skip to content

2.3.1 - #607

Merged
dreamliner787-9 merged 3 commits into
seL4:mainfrom
au-ts:2.3.1
Sep 18, 2026
Merged

2.3.1#607
dreamliner787-9 merged 3 commits into
seL4:mainfrom
au-ts:2.3.1

Conversation

@dreamliner787-9

@dreamliner787-9 dreamliner787-9 commented Sep 18, 2026 •

Copy link
Copy Markdown
Collaborator

Add release notes for 2.3.1 minor release.

New: RPi 5

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
As per title

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>

@midnightveil midnightveil left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Happy with release notes.

I think we need an extra commit updating the VERSION, though, right? And its appearance in the manual and other locations where there is a Microkit version?

@dreamliner787-9

Copy link
Copy Markdown
Collaborator Author

Happy with release notes.

I think we need an extra commit updating the VERSION, though, right? And its appearance in the manual and other locations where there is a Microkit version?

Oh true!

Commit for release tag

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
@dreamliner787-9
dreamliner787-9 merged commit ec86afd into seL4:main Sep 18, 2026
12 checks passed
@dreamliner787-9
dreamliner787-9 deleted the 2.3.1 branch September 18, 2026 03:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants