Yes, it is caused by moving the tfm_platform_init position caused PPC access violation – Set S32K Timer as NS in PPC caused system control register can’t be accessed by SPE.

Create a quick fix for this issue to remove the blocking, and discussing the real relationship between S32KTimer and System Control register, have set a deadline for clarifying this.

Here is the quick fix (Merged already, latest master should work now): https://review.trustedfirmware.org/c/TF-M/trusted-firmware-m/+/12215

This is verified locally, but if it still fails, please tell us.

Thanks

/Ken

From: TF-M tf-m-bounces@lists.trustedfirmware.org On Behalf Of Thomas Törnblom via TF-M Sent: Monday, November 1, 2021 7:51 PM To: tf-m@lists.trustedfirmware.org Subject: [TF-M] Commit b8bc0d2a breaks Musca_S1

Appears there are more recent breakage.

b8bc0d2a "HAL: Expand the scope of tfm_hal_platform_init API" breaks Musca_S1

/Thomas --

Thomas Törnblom, Product Engineer IAR Systems AB Box 23051, Strandbodgatan 1 SE-750 23 Uppsala, SWEDEN Mobile: +46 76 180 17 80 Fax: +46 18 16 78 01 E-mail: thomas.tornblom@iar.commailto:thomas.tornblom@iar.com Website: www.iar.comhttp://www.iar.com Twitter: www.twitter.com/iarsystemshttp://www.twitter.com/iarsystems