ARM*-EFI timers

[Vladimir 'φ-coder/phcoder' Serbinenko]

Hello, all. In my automated tests I found out that on ARM64-EFI sleep 10
actually sleeps for 100s. The culprit is that EFI doesn't call our timer
every 1ms but every 10ms. I propose time1.diff to correct: request EFI
to call us every 10ms and increment timer variable by 10.
For arm64 I propose to use CPU timer instead time2.diff. Can any of ARM
guys comment on this?

time1.diff
Description: application/ext-patch

time2.diff

Description: application/ext-patch


signature.asc

Description: OpenPGP digital signature
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel