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... ) 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