Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Save some bandwith, we don't need the full page, just the URL of the
most recent release.

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>

use %M (minute 00..59) instead of %I (hour 01..12)

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>

Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>

- use checkout action v3 as in super-linter docs
- clone with full history, so that diffs work
- use slim image, because we're not using any of the linters
  not present there

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Remove the symlink, because it seems obsolete. It is broken anyway,
clang is in /usr/lib/llvm-11 in the new containers.

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>

There are no active branches any more that require Isabelle2019, so
we don't need to cache these.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

For some reason, the snapshot URL sometimes needs a / at the end,
otherwise we are getting 404 for the bullseye-updates line (but not
always, of course, that would be too easy).

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

The name changed from the version in buster.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

bullseye has been released as the next "stable" and the old docker
build does not work any more.

This commit switches the entire build over to bullseye only, which
also happens to simplify the build scripts and upgrade a number of
tool chain packages. It also means the `riscv` variant is removed,
and included in the main images. In particular, we now have in the
sel4 image:

- gcc-10
- clang-11
- riscv gcc-8 + qemu 5.2.9

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

These were used in TS for Bamboo in the past. Bamboo is now defunct
and the new GitHub CI adds its own requirement on top of these images
instead of inside.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

The latest nanopb tools now use python3 instead of python2 which causes
some of the Bamboo builds to fail. We leave python-protobuf here as the
sel4test manifest which the dockerfiles test against has not yet updated
to the latest changes which include the newest version of nanopb.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>

Support for the Rumprun target was removed recently and this is causing
the Rust dockerfile to fail. Note that we don't actually test any of the
Rumprun Rust stuff at all in regression.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>

This commit adds doxygen to the seL4 image and adds an "apply" image
with sufficient LaTeX dependencies to build the seL4 reference manual.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Signed-off-by: Thomas Böhm <thomas.boehm@hensoldt-cyber.de>

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

It looks like this is not part of the base dependencies any more,
but needed by git and repo etc.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

To revert back, or be made programatic in the future.

Change back to TS one when possible.

Adding the stack group to all images did not work, since the seL4 image
does not have the stack group.

This slightly gross solution fixes that issue by adding the group to
only camkes and above images.

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

Copied solution from: https://github.com/RIOT-OS/RIOT/pull/10568



Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

And into a bash script. This is much cleaner for reading and linting,
and as such, much easier to add logic to. In this case, more complex
logic on group creation has been added. If group creation fails, we now
abandon trying to setup the group, which is mostly a nice-to-have.

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

Signed-off-by: Luke Mondy <luke.mondy@data61.csiro.au>

For RedHat family linux distributions, podman is easier invoked directly
so this allows the 'docker' program to be chosen explicitly when
invoking make, e.g., `make DOCKER=podman user`.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>