Hardware video codec

[maxjrh]

The default debian kernel uses the rk-vcodec kernel driver. I think you can check it with

Code:

lsmod|grep rk-vcodec

Alternatively, check if the file /dev/vpu_service exists.

ffmpeg makes use of this driver with the rkmpp decoder. You can test that with

Code:

ffmpeg -benchmark -c:v h264_rkmpp -i file.mp4 -f null -

The videoplayer on the debian image, rkmpv uses this decoder if possible.