Great, thank you @victorjimenez .
I have another question for the same setup: I am trying to make the M4 control Ethernet communication via the KSZ8081.
To do this, I've tried to copy the pinmux setup in the evkmimxrt1170_enet_txrx_transfer_cm4 example (a cm4 standalone project) in my M4SLAVE project, but the pinmux file won't generate when I click on 'Update Code' (see screenshot below).

I have also included a screenshot of the warning I get under "problems", below.

Could someone please tell me how I can fix this?
Kind regards