Synchonisation in Trustzone secure world by callbacks to non-secure world

I’m not familiar with this port so I’ll defer to @aggarg here. I’d assume he mentions it’s not possible as you can have interrupt priority clashes. Commenting out the priority boosting will likely lead to problems.