Closed Ivan-Velickovic closed 9 months ago
This PR adds a test for a scenario described in https://github.com/seL4/seL4/issues/1199.
Using the following configuration: ../init-build.sh -DPLATFORM=odroidc4 -DSMP=1 -DARM_HYP=1
../init-build.sh -DPLATFORM=odroidc4 -DSMP=1 -DARM_HYP=1
You will currently see the kernel crash:
KERNEL DATA ABORT! Faulting instruction: 0x8000012d38 FAR: 0x3a8 ESR (DFSR): 0x96000004 halting... Kernel entry via Syscall, number: 1, Call Cap type: 15, Invocation tag: 48
This test is ARM specific. I believe there are no other vCPU tests in sel4test right now so I added a new file.
This PR adds a test for a scenario described in https://github.com/seL4/seL4/issues/1199.
Using the following configuration:
../init-build.sh -DPLATFORM=odroidc4 -DSMP=1 -DARM_HYP=1You will currently see the kernel crash:
This test is ARM specific. I believe there are no other vCPU tests in sel4test right now so I added a new file.