> On 7 Mar 2017, at 0:47 , wang <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
