14 Aug
2016
14 Aug
'16
11:24 a.m.
On 14 Aug 2016, at 11:05 , Norrathep Rattanavipanon <nrattana@uci.edu<mailto: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. Gernot