We are excited to see https://google.com’s interest in seL4 and look forward to seeing their work with seL4.