We have installed Rock Pi 4 with Debian Desktop from the download page https://wiki.radxa.com/Rockpi4/downloads . The image was played with Rufus 3.4 on a 32GB SD card.
Version on installation: Debian Stretch 9.9
Kernel on installation: 4.4.154-90-rockchip-ga14f6502e045
Basic updates have been carried out
sudo apt-get update
sudo apt-get upgrade
sudo apt-get dist-upgrade
Kernel is dist-upgraded to version 4.4.154-91-rockchip-g70838c09a6b6 after dist-upgrade
According to kernel list there is no more current kernel
Kernel List: sudo apt-cache search linux-image
- CEC client and dependencies were installed with sudo apt-get install cec-utils
libCEC Version: 4.0.2
- CEC was tested on the same CEC-enabled monitor as libreELEC with the commands:
(The Rock Pi 4 was first tested with libreELEC for CEC functionality. Under libreELEC (Leia) 9.0.0 the TV is detected and can be switched off for example).
- sudo cec-client -l
libCEC version: 4.0.2, compiled on Linux-4.4.0-142-generic … features: P8_USB, DRM, P8_detect, randr
Found devices: NONE
- echo ‘scan’ | cec-client -s -d 1
The troubleshooting brings us to the following forum post: Send HDMI CEC messages using cec-client The problem should be solved since April with kernel integration.
Apparently the most recent kernel is 4.4.154-91-rockchip-g70838c09a6b6 and the CEC is still not working.