42c4e78e9f
Add mechanism for adding overlay.dts files to the l4v build for all architectures apart from X64 (which does not use dts files). For example, place a file `overlays/ARM/overlay.dts` into the tree and the build will pick it up as custom overlay file with the correct proof session dependencies. If no file is provided, an empty default overlay file is used. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
59 lines
1.1 KiB
Plaintext
59 lines
1.1 KiB
Plaintext
#
|
|
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
|
|
*.pyc
|
|
*.lev
|
|
*.o
|
|
*~
|
|
.*.attrib_trace
|
|
.*.skip
|
|
*.lev
|
|
*#*#
|
|
|
|
/spec/cspec/c/build
|
|
/spec/cspec/c/config-build
|
|
/spec/cspec/c/export
|
|
/spec/cspec/c/overlays/*/overlay.dts
|
|
|
|
/spec/haskell/stack.yaml.lock
|
|
/spec/haskell/doc/**/*.aux
|
|
/spec/haskell/doc/**/*.bbl
|
|
/spec/haskell/doc/**/*.blg
|
|
/spec/haskell/doc/**/*.log
|
|
/spec/haskell/doc/**/*.mpx
|
|
/spec/haskell/doc/**/*.out
|
|
/spec/haskell/doc/**/*.toc
|
|
|
|
/spec/design/version
|
|
/spec/design/*.thy
|
|
/spec/design/ARM/*.thy
|
|
/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
|
|
|
|
CFunDump.txt
|
|
umm_types.txt
|
|
|
|
/tools/autocorres/doc/quickstart/output/
|
|
/tools/autocorres/sel4.txt
|
|
/tools/autocorres/tests/ROOT
|
|
/tools/autocorres/tests/parse-tests/*.thy
|
|
/tools/autocorres/tests/examples/trace_demo_incr.trace
|
|
|
|
/tools/haskell-translator/caseconvs-useful
|
|
|
|
/tools/c-parser/StrictC.grm.sig
|
|
/tools/c-parser/StrictC.grm.sml
|
|
/tools/c-parser/StrictC.lex.sml
|
|
|
|
/camkes/adl-spec/camkes.ML
|
|
|
|
/internal/
|