Conversation
Use temporary override to use known-working patches until these are merged in the CHERI Alliance repository.
|
CC @heshamelmatary given this will affect Linux and seL4 |
|
If this is the same as the PR against CA, then yeah I'd like it merged ASAP for CHERI-Linux (and I tested it). I'll test for CHERI-seL4 still. It should remove a function or two I added that clears the tags there, and probably PCC get in hybrid mode? |
|
Yeah it's pointing at the branch being used for that PR. If you're happy then I'm happy. |
There's just a slight fix in the Linux triple (to remove _purecap), I can submit a separate fix or integrate it in #451 |
|
Currently CHERI-seL4 tests fault with this branch with a non-CHERI trap for some reason. I'll need to debug that. Could you please hold off merging this as it will break CHERI-seL4? |
|
Are we happy for this to land? |
|
@heshamelmatary any progress on the seL4 issue? |
|
(Note this is going from an old LLVM 17-based Codasip branch to a newer LLVM 19-based one, so it's not so surprising there are issues...) |
3 participants
Use temporary override to use known-working patches until these are merged in the CHERI Alliance repository.