Comment by xyzzyz

From what I remember, prodkernel actually was outside google3 (the monorepo), and has been sitting in a git repository.