Retourner au contenu associé (dépêche : Entretien avec Andrew Tanenbaum à propos de MINIX)
Posté par patrick_g (site web personnel) le 17 novembre 2011 à 21:45. En réponse à la dépêche Entretien avec Andrew Tanenbaum à propos de MINIX. Évalué à 3.
seL4 a été "vérifié" ce que ne sera jamais Linux
Ne pas s'emballer quand même. La partie "What we assume" de cette page reste fort conséquente ! Comme tu le dis toi-même je ne suis pas certains que cela ait un quelconque bénéfice pratique pour l'instant.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Avis de Linus Torvalds sur les micro-noyaux
Posté par patrick_g (site web personnel) . En réponse à la dépêche Entretien avec Andrew Tanenbaum à propos de MINIX. Évalué à 3.
Ne pas s'emballer quand même. La partie "What we assume" de cette page reste fort conséquente ! Comme tu le dis toi-même je ne suis pas certains que cela ait un quelconque bénéfice pratique pour l'instant.