Even without ARM, I can see them using AMBA or AXI for the bus because there is so much existing IP out there built to that interface.