When IPC message services are being used for message passing between application and network CPUs (for example):
CONFIG_IPC_SERVICE=y
CONFIG_IPC_SERVICE_BACKEND_RPMSG=y
CONFIG_IPC_SERVICE_RPMSG=y
CONFIG_IPC_SERVICE_STATIC_VRINGS=y
It appears that the IPC interrupt handler priority gets statically configured to level 0 in NCS source module /zephyr/drivers/ipm/ipm_nrfx_ipc.c, function gipm_init().
The system that I'm developing is using the radio and timer peripherals (among others) on the network CPU to implement a proprietary wireless protocol and the interrupt handlers for the RADIO and TIMER IRQs cannot tolerate being delayed or preempted by message handling.
Is there really no way to configure the IRQ priority of the IPC message service short of patching this NCS source module?