seL4
seL4 13.0.0
このプロジェクトには、SEL4マイクロカーネルのソースコードが含まれています。
SEL4マイクロカーネルの詳細については、その正式な正しさの証明の詳細を含む、 sel4.systems Webサイトおよび関連FAQを参照してください。
このリポジトリの最近のリリースを引用したDOI：
SEL4への貢献を歓迎します。貢献方法については、ウェブサイトをご覧ください。
このリポジトリは通常、単独で使用されるのではなく、より大きなプロジェクトのビルドシステムの一部として使用されます。
完全なリストについては、SEL4 Webサイトの連絡先リンクを参照してください。
SEL4または関連するソフトウェアでセキュリティの脆弱性を見つけたと思われる場合は、当社の脆弱性開示ポリシーに従うようお願いします。
最新のリリース用のマニュアルのホストバージョンは、こちらをご覧ください。
APIのWebバージョンはこちらにあります
includeとsrc ：CおよびASMソースコードtools ：ツールを構築しますlibsel4 ：c sel4 abiのcバインディングmanual ：SEL4リファレンスマニュアルのラテックスソースビルド手順については、SEL4 Webサイトを参照してください。
リリースと現在のプロジェクトステータスのリストは、SEL4リリースの下にあります。
ファイルライセンスを参照してください。
