Re: [seL4] Compiling Error for Hello World

...

...

...

...

"Shahnewaz" == Shahnewaz Sakib 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 -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61