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