It's possible to build tvm from astro repo, however readme doesn't mention it and it's not shipped
together with (or separate from) astro.

We made a decision to include tvm into the released tarball together with astro.