I look forward to someone spending a few million to hunt for bugs in seL4.