Hi Paul, thank you for your interest and advice on our product. Samsung takes its GPL obligations very seriously, and if any files are inadvertently not posted as required, Samsung corrects such oversights as soon as possible after becoming aware of it.
Samsung believes that it has currently posted all the files necessary on its Open Source site to fulfill its obligations under the GPLv2 license. Please understand we do not guarantee Open Source code is executable in a target device. Our product source code contains some proprietary code.
In the case of the kernel, some of Samsung’s proprietary code is not included on its Open Source site (code which is not subject to a GPL - loadable modules). There's no source code covered under GPL 2.0 license in bootloader and some loadable kernel drivers, so, kernel booting can fail.
We appreciate your understanding of our situation. We are sorry if this answer is not entirely to your satisfaction, but as a developer you should understand why a company does not disclose its proprietary software.
For further questions and concerns, please email the Voice of Customer:
E-mail product support - SAMSUNG.