arm/imx EPIT timer interrupt does not fire properly on sabrelight
When running the seL4 tests (https://docs.sel4.systems/projects/sel4test), in the sabrelight platform the timer test fails (and thus it's disabled by default). Investigation has shown that the arm/imx6 EPIT timer interrupt does not fire properly, instead of a second in can take up to a minute to finally see the interrupt. This code change fixes it: https://gitlab.com/axel-h/qemu/-/tree/patch-axel-3
Edited by Axel Heider