location of the header file

hello.

I wonder where can I find the header files.
#include <drivers/fpga.h>
#include <sys/printk.h>

Thank you.

[tgorochowik]

Hi,

These files are part of the Zephyr RTOS tree itself, please follow the README file for more details about how to build it.

Please let us know if you have any extras questions!