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 roy...@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 <axelhei...@gmx.de> wrote: > 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 > > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
