Hi @aca88,
The object file produced by tvmc does not necessarily include the C runtime. Using a --bare-metal flag just refers to the fact that it is mostly useful on a bare-metal target.
Anyway, to avoid confusion, I think maybe --object-file might be a better choice 