[GitHub] [tvm] mehrdadh commented on pull request #8940: [microTVM] Change platform to device

[GitBox <gi...@apache.org>]

mehrdadh commented on pull request #8940:
URL: https://github.com/apache/tvm/pull/8940#issuecomment-914000441


   @gromero thanks for the feedbacks. I think `micro_board` is a good option too. Initially I tried to avoid using `micro_board` term since Zephyr used board and I wanted to make sure we can differentiate those. But now that I think of it we could have micro_board which maps to (target, zephyr_board) in case of Zephyr and (target, arduino_board) in case of Arduino. Based on my understanding, "board" is unique in terms of TVM and microTVM so it shouldn't be confusing with another thing.
   
   I'll be happy to get more opinion on this before changing it to `micro_board`. cc @areusch @guberti @manupa-arm @leandron @Mousius 


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org