External INS integration

Hi, I’m trying to integrate an external INS system for the PX4 Autopilot, specifically for the PX4_Fmu-V5. I created a new module in the drivers/ins/ directory, but when I tried to integrate my library, I encountered this error.

PX4-Autopilot/platforms/nuttx/NuttX/nuttx/include/time.h:28:10: fatal error: nuttx/config.h: No such file or directory
28 | #include <nuttx/config.h>
| ^~~~~~~~~~~~~~~~
compilation terminated.
[10/1368] Generating uORB topic ucdr headers
ninja: build stopped: subcommand failed.
make: *** [Makefile:227 : px4_fmu-v5_default] Erreur 1