kinnekoの日記： GPL違反検証サービス イーエルティの「GPL/Clinic」

http://ne.nikkeibp.co.jp/embedded/2003/09/1000019824.html
http://www.emblit.co.jp/p150917.html
検証を実施するということは、検証済みのコードで違反が指摘さ
れた場合は、イーエルティ側でなんらかの保証を行ってくれるの
でしょうか?
それとも、グレーな部分は代替する各種互換ライブラリとかヘッ
ダファイルとかが提供されるのでしょうかね? アックスは、一部
そういうものの提供も行っているようですが。
kernel ヘッダとかは、一文入っているにしても、GPL とコンフリ
クトしないのでしょうか。というか、除外対象を設定した GPL っ
てそもそも有効なのかな。glibc にしても同じような問題がある
ような。
最近は、たいていのコードは、GPL にしてしまってもそんなもの
ではないかと思いますが。どんなもんでしょ。