Raspberry PI 4 with Waveshare PWM controlled Fan HAT

    I have been using LibreElec on my Raspberry PI for quite some time watching Netflix etc.

    I live in a very hot area and used FANs running from the GPIO. I bought new fans about every 2 to 3 months and came across the Waveshare PWM controlled Fan HAT which switches off from time to time, saving the fan.

    My problem is this. I can get it to work on all other OSs except LibreElec.

    The coding on their website does not work either.

    Can you help me please?

    Thank you

    Fan HAT - Waveshare Wiki

    Hi guys

    I'm in the same boat running Armor lite heatsink w pwm fan! I stumbled on info about overlays, there is 1 called gpio-fan. This is the info from the read me file

    Name: gpio-fan

    Info: Configure a GPIO pin to control a cooling fan.

    Load: dtoverlay=gpio-fan,<param>=<val>

    Params: gpiopin GPIO used to control the fan (default 12)

    temp Temperature at which the fan switches on, in millicelcius (default 55000)

    so i put

    Code
    dtoverlay=gpio-fan,<13>=<60000>

    into config.txt (pwm wire plugged into gpio#13 and 60 for temp)

    after booting i ran

    Code
    vcdbg log msg

    in putty to find out if it loaded. unfortunately this is what it spit out

    006716.968: brfs: File read: /mfs/sd/overlays/gpio-fan.dtbo

    006743.302: dterror: can't find symbol '_hot'

    006743.320: Failed to resolve overlay 'gpio-fan'

    Am I supposed to alter the actual overlay file?

    I'm sure I'm on the right track but have no idea what I'm doing! It looks like I'm on the right track but doing something wrong.

    Any help would be greatly appreciated and hopefully this will be a simple solution for others!