I am bringing up the sel4 kernel on tx2 board with ref of Tx1. I encountered the TLB invalidation hang issue after kernel map window setup.

I do not know the exact reason for hang so just disable that piece of code to look further execution of sel4 kernel. After that it dropped into the usersapce and throwing the cap fault or vm fault issue.

Does anyone has come across this type of issue and how it debugged?.

Please share your thought or pointers to debug this issue. I shared the full log details here.

## Starting application at 0x82000000 ...
ELF-loader started on CPU: ARM Ltd. Cortex-A57 r1p3
  paddr=[82000000..827abfff]
 kernel_phys_start: 0xffffffff80000000
 kernel_phys_end:0xffffffff8022fcdf
 load_elf : image_size 0x230000
ELF-loading image 'kernel'
  paddr=[80000000..8022ffff]
  vaddr=[ffffff8000000000..ffffff800022ffff]
  virt_entry=ffffff8000000000
load_elf : image_size 0x5e9000
ELF-loading image 'sel4test-driver'
  paddr=[80230000..80818fff]
  vaddr=[400000..9e8fff]
  virt_entry=41b160

Enabling MMU and paging
Jumping to kernel-image entry point...
kernel_info.virt_entry : 0x0
 user_info.phys_region_start : 0xffffffff80230000
 user_info.phys_region_end:0xffffffff80819000
 user_info.virt_region_start:0x400000
 user_info.virt_region_end:0x9e9000
user_info.phys_virt_offset:0x7fe30000  user_info.virt_entry:0x41b160

Bootstrapping kernel

Booting all finished, dropped to user space

Caught cap fault in send phase at address 0x0

while trying to handle:

vm fault on code at address 0x41b160 with status 0x82000010

in thread 0xffffff8027ef4200 "rootserver" at address 0x41b160

With stack:

halting...

Kernel entry via VM Fault, fault type: 4305248

Thanks in advance

Muneeswaran R