So, watching the video (and enduring the music) I find that:
The two big things use Qualcomm 665
The little one uses Qualcomm 630
USB Type C connectors
may support different "Alternate modes". They are:
- DisplayPort
- Thunderbolt
- MHL
- HDMI
If DisplayPort alternate mode is supported you can use an "active" adapter to get HDMI.
If MHL or HDMI alternate mode is supported you can use a cheaper "passive" adapter.
This still leaves the question of what the heck
is supported.
Edit: Hmm, now I'm really confused.
I looked at the kallsyms of my Poke3 (Snapdragon 636) and there are tons of symbols with "hdmi" in them.
I don't own a passive adapter, but I will pick one up and give it a try.
This could be a red herring as Onyx likes to shovel the same stuff into all the kernels.
Edit^2: I'm thinking that just maybe the 662 (NoteAir2) might support HDMI mode over USB. The kernel has interesting things like "typec_partner_register_altmode" which my Poke3 doesn't have.