[seL4] Re: Camkes and native tcp/ip and networking