we are intending to use FreeRTOS in our proprietary software which will run on a Xilinx Zynq. We are making use of the Xilinx SDK which comes with FreeRTOS (Version 8.2.3). The FreeRTOS code is neither modified by us nor is it modified by Xilinx.
Right now we are trying to figure out how to comply with FreeRTOS’es license. Since the scheduler is covered by the GPL we think that we are required to distribute the scheduler source code with our binary. Can this be avoided somehow? Would a note, which would be supplied with the product, stating the used version and a link to the FreeRTOS website be sufficient? We would like to be on the safe side.