Add .gitignore

rems-project · Dec 14, 2023 · bb55d77 · bb55d77
1 parent 01c8665
commit bb55d77
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/arm-v9.4-a/.gitignore b/arm-v9.4-a/.gitignore
@@ -0,0 +1,16 @@
+/Image
+/boot.zip
+/bootloader.bin
+/c.stamp
+/c/
+/isabelle.stamp
+/isabelle/
+/lem.stamp
+/lem/
+/linux-6.0.7.tar.xz
+/linux-6.0.7/
+/sail-arm-boot-master/
+/sail.dtb
+z3_problems
+/snapshots/c/armv9
+/snapshots/c/armv9.c