Skip to content

Add support for Radxa Rock3b board#356

Merged
Ivan-Velickovic merged 3 commits intoseL4:mainfrom
au-ts:jakub/rock3b
Feb 13, 2026
Merged

Add support for Radxa Rock3b board#356
Ivan-Velickovic merged 3 commits intoseL4:mainfrom
au-ts:jakub/rock3b

Conversation

@JDuchniewicz
Copy link
Contributor

No description provided.

@midnightveil
Copy link
Contributor

This needs to be redone on the loader changes. It should appear in uart.c/uart.h instead of loader.c.

@JDuchniewicz
Copy link
Contributor Author

This needs to be redone on the loader changes. It should appear in uart.c/uart.h instead of loader.c.

Fixed already, should probably start rebasing locally first.

@JDuchniewicz JDuchniewicz force-pushed the jakub/rock3b branch 2 times, most recently from bbeb1f8 to 2bcf25f Compare November 24, 2025 00:01
@lsf37
Copy link
Member

lsf37 commented Dec 9, 2025

seL4 support is now merged, so this one can be merged whenever things are ready.

@JDuchniewicz JDuchniewicz force-pushed the jakub/rock3b branch 2 times, most recently from 13e5663 to 91a5f09 Compare December 10, 2025 04:25
Copy link
Contributor

@midnightveil midnightveil left a comment

Choose a reason for hiding this comment

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

This needs documentation in the microkit manual.

@JDuchniewicz
Copy link
Contributor Author

@midnightveil I filled in the docs. Please take a look.

Copy link
Contributor

@midnightveil midnightveil left a comment

Choose a reason for hiding this comment

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

Happy now. This is likely going to need to wait until Ivan gets back, though, since only he has merge permissions.

@JDuchniewicz
Copy link
Contributor Author

Links seems to have failed due to missing toolchain URLs (?)

@midnightveil
Copy link
Contributor

Links seems to have failed due to missing toolchain URLs (?)

Link failures is due to anti-spam protection.

The build SDK failures - you need to update the seL4 pinned commit in CI and readme to get rock3b. There should be some older commits to look at for examples.

@JDuchniewicz
Copy link
Contributor Author

Waiting for seL4/rust-sel4#317 to be merged, otherwise will keep on getting rust panics on building.

JDuchniewicz and others added 3 commits February 13, 2026 13:00
Signed-off-by: Jakub Duchniewicz <j.duchniewicz@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
@Ivan-Velickovic Ivan-Velickovic merged commit cce4a8d into seL4:main Feb 13, 2026
6 of 11 checks passed
@midnightveil midnightveil deleted the jakub/rock3b branch February 13, 2026 02:03
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.

4 participants