imx8mq MCS test failures #1545
Description
This has been a recurring issue for a while, opening this to track it outside of just some comments in ci-actions. For the recent attempts at fixing it, see:
- Revert "platforms.yml: re-enable MCS on imx8mq* platforms" ci-actions#425
- platforms: fix imx8mq board timer frequency #1533 (comment)
The test failure we are seeing is:
2025-11-03T01:48:13.4037174Z Running test SCHED0011 (Test scheduler accuracy)
2025-11-03T01:48:14.0212647Z <error>Check diff(104175000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:14.4334144Z <error>Check diff(104174000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:14.8453066Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:15.2573663Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:15.7919112Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:16.2042626Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:16.6164141Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:17.0292289Z <error>Check diff(104174000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:17.4425056Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:17.7782128Z <error>Check diff(104173000) <= period_ns + 2 * (1000UL * 1000UL)(102000000) failed. at line 1018 of file /github/workspace/projects/sel4test/apps/sel4test-tests/src/tests/scheduler.c</error>
2025-11-03T01:48:17.7783142Z Test SCHED0011 failed
Indan suggested it might be a util_libs issue, but I somewhat doubt it myself (it's fine for i.MX8MM which uses a similar timer).