domains: support MCS and non-MCS, use units - #38
Conversation
|
Well that CI is also broken. |
lsf37
left a comment
lsf37
left a comment
There was a problem hiding this comment.
Thanks for updating that! I'll have a look at the CI failure later.
This adds demonstrate of units in the CAmkES domain schedule example. It also adds a new domains-mcs file that works with 'us' only for MCS. Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
6cd67b1 to
b53dfec
Compare
|
(Force push to fix style CI) |
|
There's probably some config in ci-actions somewhere to do an MCS build of the domains example, right? |
I need to look into that, I'm not sure there are any other tested MCS examples for CAmkES currently. I did figure out the Camkes VM Examples error: it triggers because I added The additional "Test with" has fixed the other tests and confirms that the non-MCS version at least is working. I'll double-check the MCS version. |
2 participants
This adds demonstrate of units in the CAmkES domain schedule example. It also adds a new domains-mcs file that works with 'us' only for MCS.
Test with: seL4/capdl#95, seL4/camkes-tool#178