Here's a pull request for current debian master: The following changes since commit db8f8138ec508a2f1392e07adc01aafde1c32735:
[ja] Japanese (Takuma Yamada; closes: #815203). (2016-02-20 02:11:22 +0000) are available in the git repository at: https://git.launchpad.net/~dannf/grub2 people/dannf/arm-timer for you to fetch changes up to 42f261e972f4075d0d47a173b6fbe47cfe8cfd0d: Cherry-pick fix for slow timer events on ARM/UEFI (LP: #1553390). (2016-03-04 15:33:55 -0700) ---------------------------------------------------------------- Mark Salter (1): arm-efi: Reduce timer event frequency by 10 dann frazier (1): Cherry-pick fix for slow timer events on ARM/UEFI (LP: #1553390). debian/.git-dpm | 4 ++-- debian/changelog | 3 +++ debian/patches/arm-efi-Reduce-timer-event-frequency-by-10.patch | 40 ++++++++++++++++++++++++++++++++++++++++ debian/patches/series | 1 + grub-core/kern/arm/efi/init.c | 4 ++-- 5 files changed, 48 insertions(+), 4 deletions(-) create mode 100644 debian/patches/arm-efi-Reduce-timer-event-frequency-by-10.patch ** Changed in: grub2 (Ubuntu) Importance: Undecided => High ** Tags added: patch -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1553390 Title: GRUB timeout is ~10x too long on arm64/uefi To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1553390/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
