HardwareTimer.h no such file or directory

Hello !
I'm at a loss on this one. I've been trying to load an audio sketch using Mozzi on my Arduino Due but the Arduino IDE tells me that HardwareTimer.h does not exist.

Here is my error :

In file included from c:\Users\maxfu\Documents\Arduino\libraries\Mozzi/internal/MozziGuts.hpp:49:0,
from c:\Users\maxfu\Documents\Arduino\libraries\Mozzi/MozziGuts.h:205,
from E:\SynologyDrive\ENSCI\XYZ Test\Arduino\PadSynth\PadSynth.ino:1:
c:\Users\maxfu\Documents\Arduino\libraries\Mozzi/internal/MozziGuts_impl_STM32duino.hpp:12:27: fatal error: HardwareTimer.h: No such file or directory
#include "HardwareTimer.h"
^
compilation terminated.
exit status 1

Compilation error: exit status 1

I've tried reinstalling the board, reinstalling different libraries, and am not sure what else to do.

Thank you for your help!

I suggest that you post your sketch; do not forget to use code tags as described in https://forum.arduino.cc/t/how-to-get-the-best-out-of-this-forum/679966#posting-code-and-common-code-problems. Also provide links to all libraries that are not available via the library manager.

Based on the fact that the above seems to refer to STM32, have you considered that the Due is not based on the STM32 processor and hence libraries might not be compatible?

Thank you! So as it turns out the Arduino Due I've been using is not compatible with Mozzi... For some reason I thought it was running a STM32 chip instead of the SAM3X8E... But seeing your comment made me realise this! Thank you. I'll switch to another board for this project

Please mark the topic as "solved" by clicking the little checkbox button under the most useful post. That way others know that a solution for your problem was provided.