Hello, I'm having trouble getting iTCO_wdt to work on NUC8i5BEH with kernel 4.19.37-5+deb10u1: [ 9.346099] iTCO_vendor_support: vendor-support=0 [ 9.377211] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.11 [ 9.377397] iTCO_wdt iTCO_wdt: can't request region for resource [mem 0x00c5fffc-0x00c5ffff] [ 9.377407] iTCO_wdt: probe of iTCO_wdt failed with error -16 Is there a way to check if the TCO hardware is missing in this machine or something else needs to be updated to get it working? Valentin
