SEL4 チュートリアル - helloworld

コードのダウンロード:

mkdir sel4-tutorials
cd sel4-tutorials
repo init -u https://github.com/seL4/sel4-tutorials-manifest
repo sync

ローカルの cmake バージョンを設定する

export PATH=/usr/cmake-3.23.0-linux-x86_64/bin:$PATH

コンパイル ディレクティブのヘルプを確認してください。

./init -h
usage: init [-h] [--verbose] [--quiet] [--plat {pc99,zynq7000}] --tut
            {hello-world,ipc,dynamic-1,dynamic-2,dynamic-3,dynamic-4,hello-camkes-0,hello-camkes-1,hello-camkes-2,hello-camkes-timer,capabilities,untyped,mapping,camkes-vm-linux,camkes-vm-crossvm,threads,notifications,mcs,interrupts,fault-handlers}

まず、Hello World チュートリアルをコンパイルします

コンパイルを開始する

./init --tut hello-world
cd hello-worldsn_5olnb_build
ninja

操作を開始します:

./simulate

エンドラン:

CRTL+A
X

インストールに依存する Python ライブラリがありません (コンパイル エラー プロンプトに従ってインストールします)

sudo pip3 install sh
sudo pip3 install pyaml
sudo apt-get install qemu-system-x86

参考サイト：

リンク: sel4 チュートリアル hello-world
リンク: sel4 チュートリアル コードの取得