Hi Kofi, Thanks for valuable support to build elf kernel image and sel4 test application.
Now able to build the kernel and sel4Test application for TX1 board. could you please share some write up or document to flash the sel4 kernel and run application on tx1 board Regards, Muneeswaran R On Tue, Oct 10, 2017 at 5:14 AM, <[email protected]> wrote: > 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 <[email protected]> on behalf of Muneeswaran > Rajendran <[email protected]> > *Sent:* 07 October 2017 00:37 > *To:* [email protected] > *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 > > > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
