Re: [seL4] Interrupt in seL4

On 14 Aug 2016, at 11:05 , Norrathep Rattanavipanon 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