Hi @AlexCloutier
I have investigated the described use case together with the attached model and configuration project provided in the thread, and based on this, I would like to provide the following information:
The EB Tresos configuration is complete, in the sense that all the settings are correctly enabled for ICU, TRGMUX and for the PORT component (PTA19 configuration).
However, one additional operation must be performed in order to specify that the EMIOS1_CH1 should take its source signal from the output of TRGMUX. This should be done by setting the proper value (in this case 0110) inside the SIUL_IMCR593 register (Input Multiplexed Signal Configuration Register), as it is defined inside the IOMUX file which you could find attached to the S32K3xx MCU Family - Reference Manual. Please check the screenshot below, taken from the IOMUX file, containing the input muxing of EMIOS1_CH1.

This setting is not accessible from EB Tresos, so, to enable this connection inside our model, I would propose the following steps:
1. Open the Hardware Settings of the model

2. Open the Board Initialization sequence - here, all the peripherals, pins and clocks are initialized with the settings made in the configuration project

3. After initializing the Port component, add the IMCR register setting for EMIOS1_CH1 as illustrated below, press the Save button from the upper left side of the window and close the Board Initialization GUI.
Please note that the IMCRs defined in the IOMUX file have an offset of 512 with respect to the IMCR number defined in the SIUL2 memory map, hence the writing operation to register IMCR[81] (593 - 512 = 81).

4. Apply the settings in the Configuration Parameters by clicking the bottom right Apply button.
5. Rebuild the model
Please let us know if this solution works
Thank you,
Irina