On Fri, Feb 15, 2019 at 01:43:47PM +0100, Oleksij Rempel wrote: > 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 Applied, thanks Sascha -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
