Well they did have to rewrite the whole kernel in rust