seL4, please confirm your email address