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