Retourner au contenu associé (dépêche : Capsicum dans Linux : ça bouge !)
Posté par patrick_g (site web personnel) le 05 août 2014 à 15:31. En réponse à la dépêche Capsicum dans Linux : ça bouge !. Évalué à 4.
diminuer la surface d'attaque (...) méthodes formelles
Je te propose de nous écrire une belle news sur le passage en licence libre de seL4 ;-)http://sel4.systems/
C'est exactement ce que tu veux : un micro-noyau GPLv2 dont le code est validé par des méthodes formelles.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Virtualisation par défaut
Posté par patrick_g (site web personnel) . En réponse à la dépêche Capsicum dans Linux : ça bouge !. Évalué à 4.
Je te propose de nous écrire une belle news sur le passage en licence libre de seL4 ;-)
http://sel4.systems/
C'est exactement ce que tu veux : un micro-noyau GPLv2 dont le code est validé par des méthodes formelles.