Hi, Ioannis

That looks like simply using asm interrupts as stated in the 9.3 Chapter of the Manual ...

as it is a 4k memory device ... PBP will include the context saving stubb by itself ... like for the elder devices ...

nothing exceptionnal here ...

Alain