Hi,
I am trying to cross-compile seL4 for rapsberry pi 3 using steps mentioned here
| | 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 1
make: *** [sel4test-tests] Error 2
user@user-Lenovo:~/seL4test$
Thanks,
Prathamesh