[seL4] Re: Stuck during invalidate local TLB in Tx2

Hi Kofi Doku Atuah, I am also facing the same problem: I am trying to port seL4 on new hardware platform based on arm64 cortex a53 Elfloader changes are done and i am able to boot the system till it reaches the try_kernel_init(). In the function "activate_kernel_vspace" when it tries to invalidateLocalTLB() the system gets hanged. What is the solution to this ? In your last post you have explained about the problem. @Rajendran, Did you managed to solve it ? Can you please share the detail. Regards, Misbah