Hi Parthamesh, Can I ask what version of the arm-linux-gnueabi toolchain you are using? Or if you changed it from the default, the version of whichever toolchain you are using.
Adrian On Fri 22-Sep-2017 7:11 PM, Prathamesh Rahate wrote: > Hi, > I am trying to cross-compile seL4 for rapsberry pi 3 using steps mentioned > hereseL4 on the Raspberry Pi 3 > > > | > | | > seL4 on the Raspberry Pi 3 > | | > > | > > > > I am getting following error while compiling, are there any patches available > to fix this error: [STAGE] libsel4sync.a[libs/libsel4sync] > done.[apps/sel4test-tests] building... [HEADERS] [STAGE] test_init_data.h > [STAGE] arch/* [STAGE] arch_frame_type.h [STAGE] autoconf.h [CC] > src/helpers.o [CC] src/main.o [CC] src/tests/multicore.o [CC] > src/tests/preempt.o [CC] src/tests/serial_server.o [CC] > src/tests/breakpoints.o [CC] src/tests/scheduler.o [CC] > src/tests/pagetables.o [CC] src/tests/inc_untyped.o [CC] > src/tests/interrupt.o [CC] src/tests/sync.o [CC] src/tests/iopt.o [CC] > src/tests/ioports.o [CC] src/tests/vspace.o [CC] src/tests/ipc.o [CC] > src/tests/schedcontext.o [CC] src/tests/fpu.o [CC] src/tests/ept.o [CC] > src/tests/trivial.o [CC] src/tests/binding.o [CC] src/tests/cnodeops.o [CC] > src/tests/threads.o [CC] src/tests/cspace.o [CC] > src/tests/regressions.o/tmp/cc7e2jo9.s: Assembler > messages:/tmp/cc7e2jo9.s:120: Error: selected processor does not support ARM > mode `ldrex r2,[r3]'/tmp/cc7e2jo9.s:154: Error: selected processor does not > support ARM mode `strex r0,r3,[r2]'make[1]: *** [src/tests/regressions.o] > Error 1make: *** [sel4test-tests] Error 2user@user-Lenovo:~/seL4test$ > Thanks,Prathamesh > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
