Hi all,
With help from Dr. Chubb, I found there is a config to build CAmkES-ARM-VM as binary instead of ELF. However when I boot it on TK1 the process abort after loader code as follow. It is the same result when I convert ELF to BIN. Do you have any suggestion why this is happening (the paddrs and virt_entry are correct). Thank you very much!
Tegra124 (TK1-SOM) # ext2load mmc 0 0x90000000 capdl-loader-experimental-image-arm-tk1-bin
31897292 bytes read in 884 ms (34.4 MiB/s)
Tegra124 (TK1-SOM) # go 0x90000000
## Starting application at 0x90000000 ...
Copy monitor mode vector from 90001000 to a7f00000 size 50
Number of IRQs: 192
Load seL4 in nonsecure HYP mode 600001d3
ELF-loader started on CPU: ARM Ltd. Cortex-A15 r3p3
paddr=[90000000..91e7ffff]
ELF-loading image 'kernel'
paddr=[80000000..8003cfff]
vaddr=[e0000000..e003cfff]
virt_entry=e0000000
ELF-loading image 'capdl-loader-experimental'
paddr=[8003d000..81f3efff]
vaddr=[10000..1f11fff]
virt_entry=184f8
Enabling MMU and paging
Jumping to kernel-image entry point...
abort() called.