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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
