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]'''
