L4（マイクロカーネル）の用途はありますか？[閉まっている]

Question

L4マイクロカーネルについて多くのことをグーグルで調べたところ、L4には非常に少ないリソースがあることがわかりました。

1. 参照できる良いリンクは何ですか？
2. L4のアプリケーションはありますか（つまり、使用される場所）？

Answer 1

L4は1年前に10億回のインストールを通過したと思われるため、簡単な答えは「はい」です。私の読書によると、L4上で実行されるLinuxは、単独で実行するよりもはるかに高速であり、Linux L4になり、AndroidはLinux上でL4に移植されています。私の見解では、非常に多くのインストールが実行されている場合、kshやbashなどのシェルを介してL4を使用できないのはなぜですか？簡単な答えはドライバーです。 Linuxはドライバーが不足していますが、ドライバーをサポートするにはL4をLinuxにする必要があることがL4の神々によって選ばれました。このコミュニティウィキには、 http://alopex.li/wiki/L4FiascoTutorial があります。 そしてここにL4 / Linuxの理論的根拠： http://www.slideshare.net/sartakov/ 03-高度なコンポーネント

フリーソフトウェアが商用ベンダーによるドライバーの作成を妨げるなど、ドライバーに問題がある場合は、ドライバー作成者向けの「qt」バージョン、つまりコンピューター機能を統合してドライバーを定義するパブリックドメインキットを作成してみませんか。次に、OSライターは、ベンダーが1回だけ作業を行う必要があるように、OSのバックエンドを作成します。

もう1つの有用なトピックは、架空の例としてPerl Parrot VM（PVM）を使用したL4上のVMのアイデアです。 L4を変更して、厳密にレジスターで実行できるとしたら....パフォーマンスを想像してみてください

Answer 2

L4は、多かれ少なかれ一般的なAPIといくつかの基本的なアイデア/概念を共有するマイクロカーネルのファミリーです。

一般的なアプリケーションは、ハードリアルタイム/高可用性のシナリオであり、 従来のオペレーティングシステムをホストするハイパーバイザーとしての使用。

アプリケーションについて： ok-labs.com のL4カーネルがあります。これは、たとえばMotorolaEvokeで使用されていました。 同じプロセッサ上でベースバンドスタックと並行してアプリケーションスタックを実行します。 ok-labsのカーネルは、iPad2のベースバンドスタックをホストするためにも使用されます。

sysgo.com には、航空宇宙/防衛アプリケーションに使用するPikeOSというカーネルがあります。

Answer 3

Andrew Tanenbaumによると、 L4は携帯電話で使用されています（最後の回答から5番目、または、「L4」のテキスト検索を実行できます）。残念ながら、 L4ウェブサイトと FIASCO 。