What is ‘target’ in TVM?

Also, when I see the micro TVM tutorial, https://tvm.apache.org/docs/how_to/work_with_microtvm/micro_tflite.html#microtvm-with-tflite

I found that it specifies more concrete strings as the target.

If you specify like below,

TARGET = tvm.target.target.micro("stm32f746xx")
BOARD = "nucleo_f746zg" # or "stm32f746g_disco#"

Does it always mean you generate C?

When I went though this tutorial, what output am I supposed to get? What is the tar file you want to generate here?

Sorry, I’m still not sure about the concept of ‘template project’ or ‘model library format’.