Hi Marc,
I plan to add NMI patches which enables IPI_CPU_CRASH_STOP IPI as pseudo-NMI[1].
But I know need to resolve the instrumentation issues before that. I
think need to moving arm64 entry code over to the generic entry
code(kernel/entry/common.c) for that, is this right?
Can you tell me current status?
Let me know if there's anything I can do to help.