Pimoroni Pico_Unicorn display library for Arduino IDE

I have an application in ‘C’ that I would like to port to a Raspberry Pi Pico and use the Pico Unicorn Pack display with the Arduino ide - (The Pico C/C++ SDK route is unfortunately beyond my current level of expertise).

I previously had the system running in Python - using Thonny and the Pimoroni Micropython UF2, but need to move to ‘C’ for improved performance.

Is there any guidance how one can add the relevant libraries to the Arduino ide? (it's where I would prefer to work on projects).

Maybe someone else has already been able to get things working?

I have tried to manually add libraries from
github.com/pimoroni/pimoroni-pico/tree/main/libraries/pico_unicorn and
github.com/pimoroni/pimoroni-pico/tree/main/micropython/modules/pico_unicorn
as described in the Arduino reference “Installing Additional Arduino Libraries”
but I then get multiple secondary errors as the library discovery process fails to find all the other supporting files…

I’m guessing that there is a difference in compiling and building files between the pico-SDK and the Arduino implementation… Bit of a show stopper!