Ahh, ok. I wasn't trying to be snarky, just pointing out that it's quite small and easy to fit in your head.

It seems disconnected because it's the repo for the port to RISC-V. The instructions you're looking for are here for the original x86 port: https://www.cs.virginia.edu/~cr4bd/4414/F2019/xv6intro.html