Yes, I think that it would be a good implication, to have this unified format being generated by tvmc compile, that allows the output to be useful in hosted systems (for regular TVM), and RTOS-agnostic (in the case of uTVM), that makes it useful, as you pointed out, in a variety of project. I’m fully onboard with that.