Skip to content

Szymon/odroidc2 support for rust-sel4 kernel-loader#318

Open
Willmish wants to merge 3 commits intoseL4:mainfrom
au-ts:szymon/odroidc2-support
Open

Szymon/odroidc2 support for rust-sel4 kernel-loader#318
Willmish wants to merge 3 commits intoseL4:mainfrom
au-ts:szymon/odroidc2-support

Conversation

@Willmish
Copy link

@Willmish Willmish commented Jan 7, 2026

Willmish and others added 3 commits January 7, 2026 13:49
Based on 496b1c9

Signed-off-by: Szymon Duchniewicz <[email protected]>
Signed-off-by: Szymon Duchniewicz <[email protected]>
@Willmish Willmish requested a review from nspin as a code owner January 7, 2026 05:36
@Willmish Willmish changed the title Szymon/odroidc2 support Szymon/odroidc2 support for rust-sel4 kernel-loader Jan 7, 2026
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.

1 participant