seL4 - seL4マイクロカーネル

(The seL4 microkernel)

Created at: 2014-07-18 19:08:06
Language: C
License: NOASSERTION

seL4マイクロカーネル

CIIのベストプラクティス ティッカー seL4Test C パーサー コンパイル プルーフ同期 レフマン .XML

このプロジェクトには、seL4マイクロカーネルのソースコードが含まれています。

正式な正当性の証明に関する詳細を含む、seL4マイクロカーネルの詳細については、sel4.systemsのウェブサイトおよび関連するFAQを参照してください。

このリポジトリの最近のリリースを引用するためのDOI:

  • 土井

seL4 への貢献を歓迎します。貢献する方法については、ウェブサイトをご覧ください。

このリポジトリは通常、単独では使用されず、大規模なプロジェクトのビルドシステムの一部として使用されます。

seL4 の基本

コミュニティ

完全なリストについては、seL4 Web サイトの連絡先リンクを参照してください。

セキュリティ脆弱性の報告

seL4 または関連ソフトウェアにセキュリティ上の脆弱性が見つかったと思われる場合は、脆弱性の開示ポリシーに従うようお願いします。

手動

最新リリースのマニュアルのホスト版は こちら にあります

API の Web バージョンはこちらからご覧いただけます。

リポジトリの概要

  • include
    および : seL4 の C および ASM ソースコード
    src
  • tools
    : ビルドツール
  • libsel4
    : seL4 ABI の C バインディング
  • manual
    : seL4リファレンスマニュアルのLaTeXソース

ビルド手順

ビルド手順については、seL4 の Web サイトを参照してください。

地位

リリースと現在のプロジェクトステータスのリストは、seL4 リリースにあります。

ライセンス

ファイルの LICENSE.md を参照してください。