Hi,
The framework's example works mainly with the "Miscellaneous System Control Module". There is a specific "Core-to-core" MSI that sends an interrupt from one core to another on the system (for A53, the interrupt goes directly to the GIC).
As for HW modules used on the IPCF, there is no explicit mention about them. Even if we look into the peripherals declared on the IPCF examples, no MU/SEMA42 elements are declared.
Given that the IPCF (theoretically) should only be limited by the specified read/write latency to the shared memory, should have high-bandwidth.
As for an ethernet-like feature inside the platform, we cannot find something explicit on the documentation. You could create a loop with your ethernet interfaces to communicate from one core to another, as you could do it with another communication interface like CAN, UART, SPI, etc...
In summary, IPCF has been the main implementation regarding core-to-core communication on what S32G has to offer.
On the other hand, XRDC is not defined as a HW communication interface between cores, but the module is defined as "focuses on how to
implement domain assignment for bus masters, and domain access control for memory regions and slave peripherals" [AN13024].
Please, let us know if this information was helpful or not.