Potential GPL-2.0 licence violations

[jonathanpallant]

The source file https://github.com/Decawave/dwm1001-examples/blob/master/deca_driver/port/port_platform.h contains the line

Taken from the Linux Kernel

Indeed, that section of port_platform.h appears to be a copy of https://github.com/torvalds/linux/blob/6f0d349d922ba44e4348a17a78ea51b7135965b1/include/linux/circ_buf.h

I believe that material, being part of the Linux kernel, is licensed under the GPL-2.0. That means any binary containing this material must be placed under the same licence. This is obviously deeply problematic for anyone producing a commercial binary using this driver.

Do you have a non-GPL licensed version of this file available?