Hi, On EFI you have 3 ways to get to do "timer" 1: Simply by waiting X us and calling Boot Service udelay 2: By using event 3: By use the Timestamp GUID for barebox this would be the best but even on EDK II this is never ever compiled on any target. So we have 2 choice, use a Hardware specific timer or implement the timer using timestamp This pull request allow you to enable 2 timers and use the best one at runtime. EFI x86 (HW specific) EFI Generic (based on Event) please pull The following changes since commit d92ed454107b4d6f0d30fa0271da191ae5911d18: Merge branch 'for-next/video' into next (2017-02-27 08:51:08 +0100) are available in the git repository at: git://git.jcrosoft.org/barebox.git for you to fetch changes up to 169af081c48d6739a3727f07a4b8dbfb7ab48ebb: efi: add veriable to report secure boot support and status (2017-02-27 18:20:37 +0800) ---------------------------------------------------------------- Jean-Christophe PLAGNIOL-VILLARD (8): efi: add prototype and definition for creating and closing event efi: add prototype and definition for setting timer efi: move LoaderTimeInitUSec and LoaderDevicePartUUID to postcore initcall efi: move x86 clocksource init at core initcall level clocksource: allow to have multiple device from clock source efi: move x86 clocksource to device/driver efi: clocksoure: use event for timer efi: add veriable to report secure boot support and status arch/x86/Kconfig | 2 +- arch/x86/mach-efi/Makefile | 1 + arch/x86/mach-efi/clocksource.c | 11 +++++++++++ common/clock.c | 11 +++++++++++ common/efi/efi.c | 24 +++++++++++++++++++----- drivers/clocksource/Kconfig | 6 +++++- drivers/clocksource/Makefile | 1 + drivers/clocksource/efi.c | 110 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++----------------------------- drivers/clocksource/efi_x86.c | 79 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ drivers/efi/efi-device.c | 33 +++++++++++++++++++++++++++++++++ include/clock.h | 3 ++- include/efi.h | 25 ++++++++++++++++++++++--- include/efi/efi.h | 2 -- 13 files changed, 266 insertions(+), 42 deletions(-) create mode 100644 arch/x86/mach-efi/clocksource.c create mode 100644 drivers/clocksource/efi_x86.c Best Regards, J. _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox