I am using the S32K144 product and opensource provided by nxp. I am using a tool called Fossid to check open source licenses. I tested it using this tool, and the result was GNU General Public License v3.0 only in a specific source. The sources are adap_gpio.c and adap_debug.c. Do these sources have GNU General Public License v3.0 only or are they freely available?