How to implement RM scheduling on seL4

7 Mar 2017

      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!

wang

tags

participants (3)