[lelandbatey]

Thanks to the Archive.org link, we can see that indeed they link directly to the SERV github in reference 38:

    38. Kindgren, O. et al. SERV - The SErial RISC-V CPU. GitHub http:/github.com/olofk/serv (2020).