Hi,
I am trying to port sel4 for NXP S32g (Arm 53 Core) platform.
I am able to prepare and bring-up the Elf-loader using u-boot targeted to S32G platform for seL4 on ARM 53core. Elf-loader is able to load and jump to the kernel image taken form below source git link :
I’ve adapted the sel4 kernel codes for S32G platform, but it does not work.
As when it start executing and then it gets stuck in below kernel initialization flow:
“try_init_kernel->init_cpu->activate_global_pd->invalidateLocalTLB->asm volatile()”.
Under InvalidatelocalTLB with asm volatile(“tlbi vmalle1”);
Does anyone found this issue ? As I am not able to find any support for NXP S32G in the community. Any idea or inputs will be really helpful .