Follow-up Comment #5, bug #42944 (project grub): I just found people have already discussed the patches in Oct and Nov:
https://lists.gnu.org/archive/html/grub-devel/2014-10/msg00008.html http://comments.gmane.org/gmane.comp.boot-loaders.grub.devel/22689 It seems the grub maintainer(s) doesn't/don't like UEFI timer since that is known buggy on some platforms. It seems pmtimer works in UEFI platform too, but I didn't check UEFI spec if pmtimer is a must for UEFI platforms, and some people have concerns about non-acpi case. So, what's the solution? Looks there was no further response to Rigoberto's mail in the above first thread. :-( And for the second thread: looks there was no further response too. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?42944> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub