Re: [seL4] Hardware-aided Trusted Computing devroom at FOSDEM