gitignore: add AARCH64 design spec (generated)
Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
parent
6052cb4bc0
commit
512fa574db
|
@ -31,6 +31,7 @@
|
|||
/spec/design/ARM_HYP/*.thy
|
||||
/spec/design/RISCV64/*.thy
|
||||
/spec/design/X64/*.thy
|
||||
/spec/design/AARCH64/*.thy
|
||||
|
||||
/spec/machine/*/MachineTypes.thy
|
||||
/spec/machine/*/Kernel_Config.thy
|
||||
|
|
Loading…
Reference in New Issue