I'm developing an embedded Linux device, and I'm using Barebox as a part of Buildroot. The CPU is x64 with 4 cores, and it has an Intel TCO watchdog timer. The exact processor I'm using is the Intel Silver N5000, and the datasheet for it says: "TCO_TMR is the watchdog timer provided by the ACPI block. It is used by an OS monitor for OS crashes." When I boot up Barebox, it does not have the file "/dev/watchdog". I've tried a few different things but I just simply can't get Barebox to recognise the Intel watchdog timer. Ideally I would like to have the watchdog timer start running at Power On, however my current BIOS hasn't got any watchdog settings, and so until I get a new BIOS (which might never happen), I have to start the watchdog timer from within Barebox in order to get the device to reboot if the Linux kernel freezes while it's loading. At this stage I think I might actually have to write assembler to issue instructions to the CPU to start the Watchdog timer. I have looked this up and it's definitely not straight-forward, e.g. interfacing with the ACPI block and its registers... I would be pretty much writing a device driver. Anyone got any ideas? I really need my device to reboot if the Linux kernel freezes while loading. Frederick _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox