On 1/6/20 2:47 PM, Rouven Czerwinski wrote:
> Your list is interesntigly missing WATCHDOG_EFI, which can be used on
> x86_64 machines.
As described in the linked documentation, it's useless for monitoring Linux
boot, because it's a boot service and these are terminated very early in the
Linux boot process.
Only usable x86 watchdog we have at the moment is the Fintek Super I/O watchdog.
If you have another Super I/O, but your BIOS exports a WDAT ACPI table, barebox
v2019.01.0 will come with ACPI driver support, so you could write an ACPI driver on
top. Alternatively, you could turn on the watchdog in the BIOS and leave barebox
out of it altogether.
I've an iTCO patch series sitting on a local branch. I'll take a look and see
if it's usable. Main problem is that the iTCO is accessible over PCI, but we
have no EFI PCI support in barebox so far[1].
[1]: There's an incomplete patch series here:
https://www.mail-archive.com/barebox@xxxxxxxxxxxxxxxxxxx/msg33441.html
Cheers
Ahmad
--
Pengutronix e.K. | |
Steuerwalder Str. 21 | http://www.pengutronix.de/ |
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
