Support for Bare Metal Devices Architecture

[aymen99tn]

Hello,

I am interested in using libsnark on bare metal devices, specifically ARM Cortex-M microcontrollers. I would like to inquire whether libsnark currently supports it or if there are any plans to support, running on bare metal devices without an operating system. This would involve compatibility with the ARM GCC toolchain (arm-none-eabi-gcc) and the ability to execute on microcontrollers such as the Raspberry Pi Pico (RP2040).
1/ Is the libsnark library compatible with the arm-none-eabi toolchain?
2/ If not currently compatible, are there any plans to introduce such compatibility?