On 14 Aug 2016, at 11:05 , Norrathep Rattanavipanon <nrattana@uci.edu> wrote:
Actually i meant the original sel4 branch.
Does it work the same?
Nope.
Scheduling in master is somewhat naive and RT support under-developed. That’s why there is an RT branch, it has all the cool goodies. This will end up in master eventually.