Several questions about micro TVM

[sho]

Thank you leandron, for letting the developers know this question!