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!