Hi Muneeswaran, On the TX1, you can change the type of image that is output by the build process using the following commands: make configs/tx1_aarch64_debug_xml_defconfig make menuconfig Then, from the configuration menu, navigate through these sub-options: Tools --> Build Elfloader --> Boot image type And should be able to select "ELF boot image" from the options under that menuitem. Good luck, -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Muneeswaran Rajendran <m.rajendran@matellio.com> Sent: 07 October 2017 00:37 To: devel@sel4.systems Subject: [seL4] sel4Test development Tx1 platform 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