fix: add missing pkgs to docker container

kbroch-rivosinc · kbroch-rivosinc · commit a741518faf3d · 2025-04-02T11:26:37.000-07:00
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -16,11 +16,15 @@ RUN apt-get install -y --no-install-recommends \
     cmake \
     ditaa \
     g++ \
+    gcc-riscv64-linux-gnu \
     gcc-riscv64-unknown-elf \
+    gdb \
     gh \
     git \
     less \
+    libc6-dev-riscv64-cross \
     libelf-dev \
+    libgmp-dev \
     libyaml-dev \
     nodejs \
     npm \
diff --git a/bin/.container-tag b/bin/.container-tag
@@ -1 +1 @@
-0.6
+0.7
