changes v2: - efi_wdt_set_timeout() should return error if we get error from (U)EFI - use device_platform_driver() - spelling and formatting fixes in the documentation. Oleksij Rempel (4): efi: add prototype and definition for set_watchdog_timer watchdog: add (U)EFI driver efi_defconfig: enable watchdog support Documentation: efi: provide (U)EFI watchdog documentation Documentation/boards/efi.rst | 36 ++++++++++++++++++- arch/x86/configs/efi_defconfig | 3 ++ common/efi/efi.c | 9 ++++- drivers/watchdog/Kconfig | 6 ++++ drivers/watchdog/Makefile | 1 + drivers/watchdog/efi_wdt.c | 64 ++++++++++++++++++++++++++++++++++ include/efi.h | 5 ++- 7 files changed, 121 insertions(+), 3 deletions(-) create mode 100644 drivers/watchdog/efi_wdt.c -- 2.20.1 _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
