"Shahnewaz" == Shahnewaz Sakib ssakib@iastate.edu writes:
Shahnewaz> I was trying to compile hello world using the tutorial here Shahnewaz> https://docs.sel4.systems/Tutorials/#get-the-code. I was Shahnewaz> able to compile sel4test before and I built the Shahnewaz> dependencies using docker. For running hello world, I used Shahnewaz> the command "../init --plat pc99 --tut hello-world". Then Shahnewaz> I got the following error message:
Shahnewaz> Traceback (most recent call last): File "../init", line 16, Shahnewaz> in <module> import common File Shahnewaz> "/home/bikas/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", Shahnewaz> line 16, in <module> import sh ModuleNotFoundError: No Shahnewaz> module named 'sh'
This is a python error. Try sudo apt-get install python3-sh to get the sh module for python version 3 if you're running on Ubuntu, Debian, or similar as build host.
Otherwise pip install sh or pip3 install sh should work --- choose the version of pip for python 3.
Peter C