Conversation
|
This needs to be redone on the loader changes. It should appear in uart.c/uart.h instead of loader.c. |
JDuchniewicz
force-pushed
the
jakub/rock3b
branch
from
ebb8cc6 to
fa35d2d
Compare
Fixed already, should probably start rebasing locally first. |
JDuchniewicz
force-pushed
the
jakub/rock3b
branch
from
5e30b4c to
3f2bc41
Compare
JDuchniewicz
force-pushed
the
jakub/rock3b
branch
2 times, most recently
from
bbeb1f8 to
2bcf25f
Compare
|
seL4 support is now merged, so this one can be merged whenever things are ready. |
JDuchniewicz
force-pushed
the
jakub/rock3b
branch
2 times, most recently
from
13e5663 to
91a5f09
Compare
midnightveil
left a comment
midnightveil
left a comment
There was a problem hiding this comment.
This needs documentation in the microkit manual.
|
@midnightveil I filled in the docs. Please take a look. |
midnightveil
left a comment
midnightveil
left a comment
There was a problem hiding this comment.
Happy now. This is likely going to need to wait until Ivan gets back, though, since only he has merge permissions.
JDuchniewicz
force-pushed
the
jakub/rock3b
branch
from
4cb39b3 to
58e56d0
Compare
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]>
Signed-off-by: Jakub Duchniewicz <[email protected]>
|
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. |
Signed-off-by: Jakub Duchniewicz <[email protected]>
|
Waiting for seL4/rust-sel4#317 to be merged, otherwise will keep on getting rust panics on building. |
3 participants
No description provided.