From the device tree [1] it looks like they've rolled their own IOMMU rather than using ARM's SMMU which is annoying.
[0] - https://github.com/raspberrypi/linux/pull/5618
[1] - https://github.com/raspberrypi/linux/blob/9c75e5408c01cb7c65...
From the device tree [1] it looks like they've rolled their own IOMMU rather than using ARM's SMMU which is annoying.
[0] - https://github.com/raspberrypi/linux/pull/5618
[1] - https://github.com/raspberrypi/linux/blob/9c75e5408c01cb7c65...