Hi,

I was trying to compile hello world using the tutorial here. I was able to compile sel4test before and I built the dependencies using docker. For running hello world, I used the command "../init --plat pc99 --tut hello-world". Then I got the following error message:

Traceback (most recent call last):
  File "../init", line 16, in <module>
    import common
  File "/home/bikas/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 16, in <module>
    import sh
ModuleNotFoundError: No module named 'sh'

I have looked into my machine and I do have sh in "/usr/bin/sh". I am not sure what is the source of the error. Please let me know.

Thanks!

--