Is FreeRTOS runnable on MKR FOX ?

Official Hardware MKR Family MKR FOX 1200
1

Hi there,

Do you think the FreeRTOS software is runnable on MKR boards, and especially on MKRFox ?
Do you think the Sigfox Library is compatible with freeRTOS ?

Thanks !

Meric