[PATCH v13 6/6] arm64: defconfig: enable Verisilicon IOMMU for Rockchip RK3588

[Krzysztof Kozlowski]

On 16/02/2026 16:30, Benjamin Gaignard wrote:
> 
> Le 16/02/2026 à 16:16, Krzysztof Kozlowski a écrit :
>> On 16/02/2026 10:51, Benjamin Gaignard wrote:
>>> 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