[seL4] We're hiring!