as this board is a specific product, you'd need get more support from the manufacturer
https://www.sensiedge.com/products
accordingly as the chip used is stm32l476 based on casual read on the product web, you may get lucky with the official core
https://github.com/stm32duino/Arduino_Core_STM32
but the things u'd need to find out is how to access the main board over st-link v2
and for the specific sensors, u'd need to approach the manufacturer as well
and if stm32duino is new to you, don't forget to read this first
https://github.com/stm32duino/wiki/wiki
viewtopic.php?f=2&t=301
viewtopic.php?f=2&t=3