Hi,
I was trying to compile hello world using the tutorial here
<https://docs.sel4.systems/Tutorials/#get-the-code>. 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!
--
Shahnewaz Karim Sakib
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
