On 14 Aug 2016, at 11:05 , Norrathep Rattanavipanon <[email protected]<mailto:[email protected]>> 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
