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.com Website: www.iar.com
Twitter: www.twitter.com/iarsystems