More notes to self: - You can get the device_type for a Target from target_kind->device_type. Somehow I missed that very obvious fact. - Eric has a very nice write-up explaining devices vs targets vs device api at docs/dev/device_target_interactions.rst
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/38#issuecomment-939103388