[seL4] Re: seek for some help