Skip to content

Conversation

@JDuchniewicz
Copy link

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
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
Signed-off-by: Jakub Duchniewicz <[email protected]>
Signed-off-by: Jakub Duchniewicz <[email protected]>
Signed-off-by: Jakub Duchniewicz <[email protected]>
Signed-off-by: Jakub Duchniewicz <[email protected]>
Signed-off-by: Jakub Duchniewicz <[email protected]>
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.

Signed-off-by: Jakub Duchniewicz <[email protected]>
@JDuchniewicz
Copy link
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.

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