* Use hardware/interfaces/tv/hdmi/cec/aidl/ as reference.
Raspberry Vanilla AOSP 15 device configuration for Raspberry Pi 5.