diff --git a/ci/testrig.Dockerfile b/ci/testrig.Dockerfile index d7a87ff..bffc13d 100644 --- a/ci/testrig.Dockerfile +++ b/ci/testrig.Dockerfile @@ -13,6 +13,7 @@ RUN \ ibex-rv32ic-cheri \ piccolo-rv32xcheri \ flute-rv64xcheri \ + qemu \ rvbs \ rvbs-rv32ICZicsrZifencei \ rvbs-rv32ICZicsrZifenceiXcheri \