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/dockerfiles/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 d...@synergy.org <d...@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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
