On 16/02/2026 16:30, Benjamin Gaignard wrote:

Le 16/02/2026 à 16:16, Krzysztof Kozlowski a écrit :

quoted

On 16/02/2026 10:51, Benjamin Gaignard wrote:

quoted

Enable Verisilicon IOMMU used by Rockchip RK3588 AV1 hardware codec.
This hardware block could be found in Radxa Rock 5B board.

I could not find such board. I even git grepped for some variants... It
seems you are adding it earlier to a known DTSI, so it will reach some
board, so the point is to use here REAL name of the board we do support.

Any rk3558 based board have this hardware block
and arch/arm64/boot/dts/rockchip/rk3588-rock-5b.dts describes Radxa Rock 5B board.

But maybe I miss understood your point ?

Please use greppable names, so name is ROCK, not Rock. :/

Best regards,
Krzysztof