proompter5··on I read the RP1 documentation so you don't have toNo, those are different chips entirely. RP1 is an entirely new chip that serves as a southbridge on Raspberry Pi 5. The original Raspberry Pi had a BCM2835 SoC. Raspberry Pi 5 has a BCM2712 SoC.
proompter5··on Raspberry Pi 5What would be the benefit of having their own IOMMU instead of just using the ARM SMMU?