> I will appreciate any idea/direction for approaching this problem.

Are you able to access a hardware debugger? At the point where the cores appear 
to lock up it's helpful to be able to see where all the threads are and what 
the hardware state is.  Alternatively, are you able simulate your application 
with the zcu102 qemu platform?
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to