7eb27a49e9
Timer event to keep grub msec counter was running at 1000HZ. This was too fast for UEFI timer driver and resulted in a 10x slowdown in grub time versus wallclock. Reduce the timer event frequency and increase tick increment accordingly to keep better time. |
||
---|---|---|
.. | ||
efi | ||
uboot | ||
cache.c | ||
cache.S | ||
cache_armv6.S | ||
cache_armv7.S | ||
compiler-rt.S | ||
dl.c | ||
dl_helper.c |