>>780
ありがとうございます。

>カーネルに対するチェックはバージョンチェックぐらい

ソースをインストールするときに必要な、kernel-develはどこで使われるのだろう。
バージョンチェックくらいなら、kernel-develは使われないですよね。


>ライブラリだと実際にチェックコードがコンパイルされて実行結果みるときもある。autoconfとかでggr。
>型チェックとかはチェック時にはやらない。それはビルド時にコンパイラがやるのが普通

コンパイラがチェックするのはソースが正しいかどうかですよね。これは分かります。
しかしソース上で正しい記述をしていても、リンクさきのオブジェクトの関数名や型が望むものではない可能性がありますよね。
このチェックはどうするのでしょうか。それが、そのチェックコードでなされるというライブラリチェックなのでしょうか。

ライブラリはlibcなどですが、カーネルはライブラリのように関数を公開していないのでしょうか。
ライブラリ経由でしかカーネルはアクセスできないのでしょうか。

MS-DOSでアセンブラとwindowsでASP.NET(C#)しかやったことのないものにもわかるようにお願いします。