Hello,
I'm now studying seL4/seL4test and try to implement the RM scheduling on
seL4test.
I understand how the RM scheduling works, but just don't know how to make it
happen on seL4test.
So where can I start?
In addition, I put the sel4test driver image on my board and run, it shows
"206/206 tests passed. All is well in the universe" at the last line.
Does it means that the seL4test project runs correctly?
Thanks!
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
