Re: [seL4] Getting timer info from seL4 kernel