Skip to content

domains: fix compile error on x86 MCS - #365

Merged
nspin merged 1 commit into
seL4:mainfrom
au-ts:x86_mcs_fix
Jul 21, 2026
Merged

domains: fix compile error on x86 MCS#365
nspin merged 1 commit into
seL4:mainfrom
au-ts:x86_mcs_fix

Conversation

@dreamliner787-9

Copy link
Copy Markdown
Contributor

Use unwrap_or_else(|| panic!( rather than expect(format!(.

Use `unwrap_or_else(|| panic!(` rather than `expect(format!(`.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
@dreamliner787-9
dreamliner787-9 requested a review from nspin as a code owner July 21, 2026 00:30
@nspin
nspin merged commit dbe6445 into seL4:main Jul 21, 2026
14 checks passed
@midnightveil
midnightveil deleted the x86_mcs_fix branch July 21, 2026 01: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.

3 participants