Skip to content

Release 2.4.0 - #620

Merged
dreamliner787-9 merged 3 commits into
seL4:mainfrom
au-ts:2_4_0
Oct 30, 2026
Merged

dreamliner787-9 merged 3 commits into
seL4:mainfrom
au-ts:2_4_0

Conversation

@dreamliner787-9

@dreamliner787-9 dreamliner787-9 commented Oct 28, 2026 •

Copy link
Copy Markdown
Collaborator

Draft until the kernel release.

Todo:

  • Update kernel commit hash in manifest once the release happens.
  • Update rust-sel4 commit in Cargo.toml once the release happens.

@dreamliner787-9
dreamliner787-9 force-pushed the 2_4_0 branch 2 times, most recently from 545db7a to a82cc73 Compare October 28, 2026 23:01

@lsf37 lsf37 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

👍

Now that the circular dependency has been resolved.

Signed-off-by: Bill Nguyen <[email protected]>
Per title.

Signed-off-by: Bill Nguyen <[email protected]>
Commit for release tag

Signed-off-by: Bill Nguyen <[email protected]>
@dreamliner787-9
dreamliner787-9 marked this pull request as ready for review October 30, 2026 05:20
@dreamliner787-9
dreamliner787-9 merged commit b2558a9 into seL4:main Oct 30, 2026
11 of 12 checks passed
@dreamliner787-9
dreamliner787-9 deleted the 2_4_0 branch October 30, 2026 05:55
@dreamliner787-9

Copy link
Copy Markdown
Collaborator Author

The link check will pass once the kernel release is finalised.

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