Hi, I'm new in the use of the platform nxp t1040 and I'm looking for a mechanism for cores' synchronization, i.e if it is possible to synchronize cores using interrupt inter-core. A core is in busy wait on a memory location in cache and it waits for an interrupt whose interrupt routine will unlock the core by changing the value of the location mentioned before.