[RFC] Optionally include object file generation in tvmc

Development pre-RFC
3

Hi,

Does --bare-metal imply that the C runtime has also been compiled and is part of the .o?