Hi,
I have tried running sel4test built for AARCH64
(https://docs.sel4.systems/Hardware/imx8mm.html) on my imx8mm-evk dev board. I
am on the 12.1.0 branch of sel4test-manifest.git.
Firstly I have to add "set(KernelAArch64SErrorIgnore ON)" to my build config in
order to get the tests running and unfortunately things go awry during the test
run
...
Starting test 47: FRAMEEXPORTS0001
Running test FRAMEEXPORTS0001 (Test that we can access all exported frames)
Pagefault from [FRAMEEXPORTS0001]: read fault at PC: 0x41c4ec vaddr:
0x11000000, FSR 0x92000210
Register of root thread in test (may not be the thread that faulted)
Register dump:
pc: 0x41c4ec
sp: 0x100118a0
spsr: 0x80000040
x0: 0x11000000
x1: 0x11000000
x2: 0x55
x3: 0x15
x4: 0xe6
x5: 0x0
x6: 0x0
x7: 0xffffffffffffffff
x8: 0x10011a48
x16: 0x0
x17: 0x0
x18: 0x0
x29: 0x100118a0
x30: 0x41c9f0
x9: 0x2b
x10: 0x2b
x11: 0xffffffff
x12: 0x0
x13: 0x0
x14: 0x0
x15: 0x0
x19: 0xe7
x20: 0x8
x21: 0x11000000
x22: 0x0
x23: 0x0
x24: 0x0
x25: 0x0
x26: 0x0
x27: 0x0
x28: 0x0
tpidr_el0: 0x616f60
tpidrro_el0: 0x0
Failure: result == SUCCESS at line 291 of file
/host/projects/sel4test/apps/sel4test-driver/src/testtypes.c
Error: result == SUCCESS at line 217 of file
/host/projects/sel4test/apps/sel4test-driver/src/main.c
...
Starting test 55: IPC1001
Running test IPC1001 (Test SMP inter-AS seL4_Send + seL4_Recv)
KERNEL DATA ABORT!
Faulting instruction: 0xffffff804001e2ac
FAR: 0xffffff80bf800020 ESR (DFSR): 0x96000210
halting...
Kernel entry via Syscall, number: 1, Call
Cap type: 10, Invocation tag: 20
Is this something that should just work? Or am I missing something.
Cheers,
Zippy
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
