Thanks, but my experiences with containers so far have been ... unpleasant.
Also, I'm already in a VM, so if I'm going to need to go that direction,
I'd just as soon spin up a different VM. Less complicated that way.
Royce Mitchell, IT Consultant
ITAS Solutions
royce3@itas-solutions.com
There are three hard problems in computer science: naming things, and
off-by-one errors.
On Thu, Apr 8, 2021 at 1:27 AM Axel Heider
Royce,
it would be nice if there was a way to switch the sel4 tutorials to use "python" instead of "python3" so that I could use the latest python without causing upset in the operating system, however I'm just going to roll back my default python3 command and use the builtin version to get this running, since I assume I don't need the latest python to run your tutorials.
Actually, there is a solutiuon for for, it's called "docker". There are docker container for seL4 development that contain all the tools. Have you considered using them?
And to do some advertising for my employer: This is also what the TRENTOS-M SDK for seL4 from HHENSODLT Cyber will cover. It comes with with everything running in docker environments (and the setup instructions). So things work out of the box and there's no need to mess up you host environment.
Axel