I want to interact directly with the CEC protocol on my raspberry pi. How can I find out which device to use?
I understand the device name is
/dev/vchiq, but you can't use it directly unless you get relevant VideoCore documentation.
libcec uses the VideoCore API, which doesn't mention device names directly. Unless you want to use RPi-specific hardware features (and you know how to do it), you should just use