Hi All

I able to build sel4Test driver for TX1 platform. but the final outputimage is not a executable image it shows as data format

:~/sel4Test$ file images/sel4test-driver-image-arm-tx1.bin
images/sel4test-driver-image-arm-tx1.bin: data

used 'aarch64-linux-gnu-' toolchain for cross compilation.
 
but in the kernel obj shows as 64 bit ARM aarch64 format.

~/sel4Test$ file build/kernel/kernel.o
build/kernel/kernel.o: ELF 64-bit LSB  relocatable, ARM aarch64, version 1 (SYSV), not stripped

And cross checked in the tk1 platform the generated output file as exe file format.

~/sel4Test$ file images/sel4test-driver-image-arm-tk1
images/sel4test-driver-image-arm-tk1: ELF 32-bit LSB  executable, ARM, EABI5 version 1 (SYSV), statically linked, stripped

Can you please someone help me to get final out image as executable format.

Also share the procedure to load the sel4Test driver on TX1 board to verify the test.

Thanks in advance
Munees