What is ‘target’ in TVM?

Yep–we intend to keep the c backend fully-supported alongside the LLVM backend for this reason. We export in Model Library Format to make it easy to consume the TVM output as a human (or equivalently from automation such as a Project API server)