Re: [seL4] How to implement RM scheduling on seL4

On 7 Mar 2017, at 0:47 , wang wrote:

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?

There’s nothing to be done. RM is a static priority assignment, all you need to do is correctly set the priority of the threads you create.

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?

Yes Gernot