Changes
/* Notes */
$ sudo chmod +x /etc/rc.local
</div>
*'''IPC3Airtop3''': kernel module wdat_wdt does Make sure you have correct BIOS settings:**Expand the below instructions<div class="toccolours mw-collapsible mw-collapsed"># Press '''[ESC]''' on startup to enter BIOS settings# Chipset -> PCH-IO Configuration -> Enable TCO Timer is set to '''[Enabled]'''# If not produce debug messages, dmesg output will be emptyset to '''[Enabled]'''# Navigate to '''"Save & Exit"''' tab and choose '''Save changes and exit'''</div>
*'''fitlet2''': Make sure OS selection is set to '''[Linux]'''you have correct BIOS settings:
**Expand the below instructions
<div class="toccolours mw-collapsible mw-collapsed">
# Press '''[ESC]''' on startup.to enter BIOS settings
# At the bottom of the main screen check '''OS selection''' is set to '''[Linux]'''
# If not, set to '''[Linux]'''
* The following usage example represented on fitlet2 with kernel module iTCO_wdt
** For fitlet1 use kernel module sp5100_tco
** For IPC3 , Airtop3 use kernel module wdat_wdt
<br>
* Verify it can be loaded successfully and information about the device appears in dmesg output
* NOTE: kernel module wdat_wdt does not produce debug messages, dmesg output will be empty
$ sudo modprobe iTCO_wdt
$ dmesg | grep -i iTCO
