Unixは、OSが主人公ではなく、Ethernet, TCP/IPを助けるありがたいサービス群。
Unixを使うのに、OSの知識はほとんど必要がない。

C言語は、HostedとFreestandingの２種類がある。

C言語とPOSIXは蜜につながっている。
Hostedは、main()関数がstartupである。
Freestandingでは、main()関数でなくてもよい。

実際には、POSIX関数とHosted関数

OSがない場合は、FreestandingのC言語規定を利用する。
POSIX OSより小さいOSは、FreestandingとそのOSを利用する。

OSEK/VDX は、OSが主人公ではない。
OSEK/VDX OSも、POSIX同様、Cの精神を継承している。

「本物のC」は「Cの精神」と「freestanding と hosted」と「未定義、未規定、処理系定義」
https://qiita.com/kaizen_nagoya/items/11d66a02479239bf80dd