Merge branch 'boot' into new_intr

Signed-off-by: Zone.N <[email protected]>
MRNIU · Aug 1, 2024 · 251eec7 · 251eec7
2 parents 214e080 + 1bf6ad9
commit 251eec7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tools/Dockerfile b/tools/Dockerfile
@@ -56,7 +56,10 @@ RUN apt install --no-install-recommends --fix-missing -y \
     git \
     qemu-system \
     gdb-multiarch \
-    libgtest-dev
+    libgtest-dev \
+    pkg-config \
+    flex \
+    bison
 RUN apt install --no-install-recommends --fix-missing -y \
     gcc \
     g++ \