Re: [seL4] Timing side channel via idle thread code?