I simply don't know exactly where I got them from at this point, it
was several years ago now. Like I said, it either came off of an
infoserver disk, or it came off of a site found by google. The file of
interest, that I use, is something like VXT021KT10.SYS although there
are a couple others, which require a working infoserver or a VAX
running the infoserver software to be useful.

<https://www.reddit.com/r/vintagecomputing/comments/4zj082/dec_vxt2000_booting_over_10base5/db0kvnf/>
