Several questions about micro TVM

cc @areusch, @gromero, @grant-arm for visibility