Axel Heider

Will there be a new release of pytest-dependency after 0.5.1 that fixed this? Seems this issue affects many people, see for example https://stackoverflow.com/questions/17571438/test-case-execution-order-in-pytest#comment116177289_46393615

I wonder, what is blocking this PR?

@DevilXD maybe https://pypi.org/project/pytest-depends (from https://gitlab.com/MaienM/pytest-depends) is what you are looking for?

Could this be something related to specific file types only? I'm seeing this with a bash script.

I wonder what is the relation between https://github.com/riscv/riscv-aia and https://github.com/riscv/riscv-plic-spec now?

https://github.com/riscv/riscv-plic-spec/pull/25#pullrequestreview-715854745 adds the reference to the last version where the PLIC chapter existed.

If we assume the device tree is the only source of truth and it is available to every piece of (driver) software, what would this improve? An "seL4 SDK" (e.g....

Why do we have to stick to 18.4 when 20.4 is also a LTS Version that comes with gcc-9.

Adding a note: there is interest in using clang 12 also (https://github.com/seL4/seL4/pull/909), so maybe it's worth thinking about adding a CI workflow that checks newer compilers to see what obstacles...

Adding another link related to GCC 11 support: https://github.com/seL4/seL4/issues/907