> The UEFI specification requires for ExitBootServices() that "the boot > services watchdog timer is disabled". We already disable the software > watchdog. We should additionally disable the hardware watchdogs. What about watchdogs that cannot be stopped? IIRC the IMX SoCs are like that. -michael