I have downloaded and run the build artefact that produced a successful run for
you.
Started out running exactly as your CI job until ...
<testcase classname="sel4test" name="FRAMEDIPC0001">
</testcase>
<testcase classname="sel4test" name="FRAMEDIPC0002">
</testcase>
<testcase classname="sel4test" name="FRAMEDIPC0003">
</testcase>
<testcase classname="sel4test" name="FRAMEEXPORTS0001">
Pagefault from [FRAMEEXPORTS0001]: read fault at PC: 0x411080 vaddr:
0x11000000, FSR 0x92000210
Register of root thread in test (may not be the thread that faulted)
Register dump:
pc: 0x411080
sp: 0x10011900
spsr: 0x60000140
x0: 0x11000000
x1: 0x0
x2: 0x55
x3: 0x15
x4: 0xffffffffffffffff
x5: 0x0
x6: 0x0
x7: 0xffffffffffffffff
x8: 0x0
x16: 0x0
x17: 0x0
x18: 0x11000000
x29: 0x10011900
x30: 0x411304
x9: 0x7f0000007000
x10: 0x11200000
x11: 0x40000000
x12: 0x7effffffe000
x13: 0x8000000000
x14: 0x15
x15: 0x4b8060
x19: 0x11000000
x20: 0x10
x21: 0x0
x22: 0x466738
x23: 0x20000
x24: 0x464dc8
x25: 0x466588
x26: 0x466000
x27: 0x55
x28: 0x15
tpidr_el0: 0x5b7f50
tpidrro_el0: 0x0
<failure type="failure">result == SUCCESS at line 291 of file
/github/workspace/projects/sel4test/ap>
<error>result == SUCCESS at line 217 of file
/github/workspace/projects/sel4test/apps/sel4test-drive>
</testcase>
<testcase classname="sel4test" name="FRAMEXN0001">
</testcase>
<testcase classname="sel4test" name="FRAMEXN0002">
</testcase>
<testcase classname="sel4test" name="IPC0001">
</testcase>
<testcase classname="sel4test" name="IPC0002">
</testcase>
<testcase classname="sel4test" name="IPC0003">
</testcase>
<testcase classname="sel4test" name="IPC0004">
</testcase>
<testcase classname="sel4test" name="IPC0010">
</testcase>
<testcase classname="sel4test" name="IPC1001">
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
