ふと思ったけど、Linuxではなく代わりにマイクロカーネルなPC UNIXの自由な実装が普及していたら、ほんとのコアの部分(？)だけ、Cの実装とは別により安全重視の言語での互換実装とかあったのかもしれない気がしてきた＞＜