Install Arch sel4 shell
seL4 shell Arch
安装 Arch Sel4 Shell
Arch-sel4-shell installieren
Installer sel4 shell d'Arch
Instalar shell sel4 de Arch
Instalar sel4 shell do Arch
Arch sel4シェルのインストール
Arch sel4 shell 설치
تثبيت واجهة سطر الأوامر لـ Arch sel4
docker run -it sel4 bash