I feel like an idiot for having to ask for help so early, but I'm trying to
get started with the hello world tutorial and ran into a problem very
First off I want to say thank you for all the work that's been put into the
tutorils. The amount of information in them is quite daunting, but
considering the subject matter it's actually very accessible all things
I have a Debian 10 linux VM that I'm using for testing. I'm okay building a
VM dedicated solely to seL4 development if that's necessary, but I'm
assuming it's not.
FYI I had some difficulty with the prerequisites instructions regarding
Debian. This may be the source of the problem I'm having but I'm not sure
how to resolve it. Your setup instructions said to refer to the docker
requirements but when I went there I couldn't find anything on that page
that indicated what exactly I was supposed to install.
All that being said, here is a capture from my terminal which I'm hoping
illustrates the problem I'm having specifically:
rmitchell@ou812:~/sel4-tutorials-manifest$ ./init --tut hello-world
Traceback (most recent call last):
File "./init", line 16, in <module>
line 16, in <module>
ModuleNotFoundError: No module named 'sh'
Python 3.9.1 (default, Mar 19 2021, 01:08:36)
[GCC 8.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import sh
As you can see from my example above, I have Python 3.9.1 installed and it
is the default python interpreter on my system. The "sh" module is
installed and accessible from Python's interactive interpreter, yet when
the common.py file tries to import it, it complains that it can't find the
'sh' module. FYI sh is installed both at the system and user levels.
I'll try digging into your source and see if I can figure out what the
issue is. I'll share my findings if I figure it out before you guys point
out my mistakes.
Royce Mitchell, IT Consultant
There are three hard problems in computer science: naming things, and