The sources used by RISCOS Ltd are not those used by Castle; the sources that RISCOS Ltd use were licensed a number of years ago from Acorn and do not include any components which are GPL, and acknowledge the components which they do use. Castle have, alledgedly, licensed their sources from Pace Microtechnology plc (the company who bought Acorn) and presumably added the PCI code from the Linux kernel themselves. I say presumably because I can't say one way or another whether the work was done by Pace or by Castle. Castle, as publishers of the product, are those who must be looked to for answers.
Slashdot Mirror
The sources used by RISCOS Ltd are not those used by Castle; the sources that RISCOS Ltd use were licensed a number of years ago from Acorn and do not include any components which are GPL, and acknowledge the components which they do use. Castle have, alledgedly, licensed their sources from Pace Microtechnology plc (the company who bought Acorn) and presumably added the PCI code from the Linux kernel themselves. I say presumably because I can't say one way or another whether the work was done by Pace or by Castle. Castle, as publishers of the product, are those who must be looked to for answers.