Beautiful! It works like a charm!

Thank you kindly, sir, Dave

-----Original Message----- From: Mondy, Luke (Data61, Kensington NSW) Luke.Mondy@data61.csiro.au Sent: Sunday, November 1, 2020 2:13 PM To: dave@synergy.org; devel@sel4.systems Subject: Re: [seL4] Docker / gnat

Hi Dave,

You can add extra packages or commands to run in the extras.dockerfile ( https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/blob/master/dockerfi les/extras.Dockerfile ) in your checked out version of the repo.

Any time you add or change things in this file, Docker will build a new local image for you, adding the commands to the standard images we push out. After that first build, the new image will be cached, and the container will start up quickly again.

Let us know if that helps, or if you have any further questions.

Cheers, Luke

-- Dr Luke Mondy, Systems Administrator, P +61 2 9490 5773 | https://ts.data61.csiro.au Trustworthy Systems | DATA61 | CSIRO CSIRO Staff Association Delegate

Hours at CSIRO Monday: 9:00am to 5pm Tues, Wed, Fri: 1:30pm to 5pm

________________________________________ From: Devel devel-bounces@sel4.systems on behalf of dave@synergy.org dave@synergy.org Sent: Monday, 2 November 2020 5:02 AM To: devel@sel4.systems Subject: [seL4] Docker / gnat

Hello, I converted over from my old development environment to the docker-based version this weekend. Everything worked fine, except for one thing. I was using the gnat-6-aarch64-linux-gnu and gnat-6-arm-linux-gnueabihf packages to compile Ada code. Ada is not installed by default in the docker container. I can install it, but it goes away when the container terminates. I am brand new to docker. Can I make these changes permanent myself or does it require the container provider to do so?

Thanks! Dave

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel