I don't have solution for this either but if you find a guide created for other device, like RPi I think you should be able to use it - we also use libCEC for CEC communication (although hardware implementation is Amlogic-specific).
Thanks for the reply. I found this code: GitHub - gdachs/service.xbmc.amlogic-cec: CEC for amlogic devices
Could this code works with our devices?
Best regards.