Thats still a very important factor, but maybe could be a small verifiable open sandboxed kernel of a larger codebase