ニコニコ大百科

PCやスマホと言ったコンシューマに限るならその通り。
家電とか自動車まで入れると実は絶対的な台数ベースでもその他の勢力がかなりでかい。

リアルタイムOS、そういうのもあるのか
L4マイクロカーネルファミリー
https://ja.m.wikipedia.org/wiki/L4%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%AB%E3%83%BC%E3%83%8D%E3%83%AB%E3%83%95%E3%82%A1%E3%83%9F%E3%83%AA%E3%83%BC#%E6%AD%B4%E5%8F%B2
>クアルコムのワイヤレスモデムチップや車載インフォティメントシステムに含まれる。A7以降のApple Silicon SoCに含まれるSecure EnclaveコプロセッサではL4-embeddedカーネルベースのL4オペレーティングシステムが動作している

オープンソースRTOS「seL4」の紆余曲折からマイクロカーネルの進化を俯瞰する
https://monoist.itmedia.co.jp/mn/spv/2201/31/news053.html
Google Announces KataOS As Security-Focused OS, Leveraging Rust & seL4 Microkernel
https://www.phoronix.com/news/Google-KataOS

seL4、組み込みOSだけじゃなく汎用OS進出の野望があるらしい。
seL4 Micro-Kernel Working Towards A General-Purpose, Multi-Server OS
https://www.phoronix.com/news/seL4-Microkernel-In-2021
>10年以上にわたって開発されてきたseL4マイクロカーネルは2020年にseL4 Foundationを設立、同年にはオープンソースISAのRISC-Vアーキテクチャを追加サポートした。将来的には「真に安全な汎用OS」を作り上げることを目標にしている

CとRustで一から作るマイクロカーネルOS
https://seiya.me/blog/writing-a-microkernel-from-scratch
Rustしか勝たんと思ってたけど
OS自作してるエロい人によるとRustはカーネルのコア部分を書くのには向いてないらしい

削除しました

tronの話なので一応

世界シェア約6割を占めるOSを生んだIoTのパイオニア - 電通総研
https://institute.dentsu.com/articles/3470/