├── .github └── workflows │ ├── build.yml │ ├── pr.yml │ ├── push.yml │ └── trigger.yml ├── .gitignore ├── .licenseignore ├── .linkcheck-ignore.yml ├── .reuse └── dep5 ├── .stylefilter ├── CHANGES.md ├── CMakeLists.txt ├── CODE_OF_CONDUCT.md ├── Findcapdl.cmake ├── LICENSES ├── BSD-2-Clause.txt ├── CC-BY-SA-4.0.txt └── LicenseRef-Trademark.txt ├── README.md ├── VERSION ├── capDL-tool ├── .gitignore ├── CapDL │ ├── AST.hs │ ├── DumpParser.hs │ ├── MakeModel.hs │ ├── Matrix.hs │ ├── Model.hs │ ├── Parser.hs │ ├── ParserUtils.hs │ ├── PrintC.hs │ ├── PrintDot.hs │ ├── PrintIsabelle.hs │ ├── PrintModel.hs │ ├── PrintUtils.hs │ ├── PrintXml.hs │ ├── STCC.hs │ └── State.hs ├── Main.hs ├── Makefile ├── README.md ├── camkes-adder-arm.cdl ├── camkes-adder-arm.object_sizes.yaml ├── camkes-adder-arm.right ├── camkes-adder-arm.thy.right ├── cap-dist-elf-simpleserver.cdl ├── cap-dist-elf-simpleserver.right ├── capDL-tool.cabal ├── capDL-tool.cmake ├── capdl.dtd ├── doc │ ├── README.md │ ├── capDL.md │ └── tex │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── capDL.tex │ │ ├── imgs │ │ └── logos │ │ │ ├── seL4-Foundation-logo.pdf │ │ │ └── seL4-Foundation-logo.pdf.license │ │ └── sel4.sty ├── example-aarch64.cdl ├── example-aarch64.right ├── example-arm.cdl ├── example-arm.right ├── example-ia32.cdl ├── example-ia32.right ├── example.cdl ├── hello-dump.cdl ├── hello-dump.right ├── iwana-ia32.cdl ├── stack.yaml └── tools │ └── capdl.vim ├── capdl-loader-app ├── CMakeLists.txt ├── README.md ├── helpers.cmake ├── include │ ├── capdl.h │ └── capdl_spec.h └── src │ └── main.c ├── cdl_utils ├── README.md ├── capdl_linker.py ├── templates │ └── cspace.template.c └── untyped_gen.py ├── object_sizes ├── CMakeLists.txt ├── README.md └── object_sizes.yaml └── python-capdl-tool ├── .gitignore ├── README.md ├── capdl ├── Allocator.py ├── Cap.py ├── ELF.py ├── Object.py ├── PageCollection.py ├── Spec.py ├── __init__.py └── util.py ├── examples ├── allocation.py ├── capdl-manipulation.py ├── construct-address-space.py └── to-capdl.py ├── requirements.txt └── tests ├── __init__.py ├── allocator.py ├── resources ├── arm-hello.bin ├── ia32-hello.bin ├── stripped.bin └── unstripped.bin ├── runall.py ├── testelf.py └── testmerge.py /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 2 | # 3 | # SPDX-License-Identifier: BSD-2-Clause 4 | 5 | capDL-tool/.stack-work 6 | -------------------------------------------------------------------------------- /.licenseignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.licenseignore -------------------------------------------------------------------------------- /.linkcheck-ignore.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.linkcheck-ignore.yml -------------------------------------------------------------------------------- /.reuse/dep5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/.reuse/dep5 -------------------------------------------------------------------------------- /.stylefilter: -------------------------------------------------------------------------------- 1 | # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 2 | # 3 | # SPDX-License-Identifier: BSD-2-Clause 4 | 5 | *.template.c -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Findcapdl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/Findcapdl.cmake -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /LICENSES/LicenseRef-Trademark.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/LICENSES/LicenseRef-Trademark.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 0.4.0-dev -------------------------------------------------------------------------------- /capDL-tool/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/.gitignore -------------------------------------------------------------------------------- /capDL-tool/CapDL/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/AST.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/DumpParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/DumpParser.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/MakeModel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/MakeModel.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/Matrix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/Matrix.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/Model.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/Parser.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/ParserUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/ParserUtils.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintC.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintDot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintDot.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintIsabelle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintIsabelle.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintModel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintModel.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintUtils.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/PrintXml.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/PrintXml.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/STCC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/STCC.hs -------------------------------------------------------------------------------- /capDL-tool/CapDL/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/CapDL/State.hs -------------------------------------------------------------------------------- /capDL-tool/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/Main.hs -------------------------------------------------------------------------------- /capDL-tool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/Makefile -------------------------------------------------------------------------------- /capDL-tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/README.md -------------------------------------------------------------------------------- /capDL-tool/camkes-adder-arm.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/camkes-adder-arm.cdl -------------------------------------------------------------------------------- /capDL-tool/camkes-adder-arm.object_sizes.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/camkes-adder-arm.object_sizes.yaml -------------------------------------------------------------------------------- /capDL-tool/camkes-adder-arm.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/camkes-adder-arm.right -------------------------------------------------------------------------------- /capDL-tool/camkes-adder-arm.thy.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/camkes-adder-arm.thy.right -------------------------------------------------------------------------------- /capDL-tool/cap-dist-elf-simpleserver.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/cap-dist-elf-simpleserver.cdl -------------------------------------------------------------------------------- /capDL-tool/cap-dist-elf-simpleserver.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/cap-dist-elf-simpleserver.right -------------------------------------------------------------------------------- /capDL-tool/capDL-tool.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/capDL-tool.cabal -------------------------------------------------------------------------------- /capDL-tool/capDL-tool.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/capDL-tool.cmake -------------------------------------------------------------------------------- /capDL-tool/capdl.dtd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/capdl.dtd -------------------------------------------------------------------------------- /capDL-tool/doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/README.md -------------------------------------------------------------------------------- /capDL-tool/doc/capDL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/capDL.md -------------------------------------------------------------------------------- /capDL-tool/doc/tex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/.gitignore -------------------------------------------------------------------------------- /capDL-tool/doc/tex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/Makefile -------------------------------------------------------------------------------- /capDL-tool/doc/tex/capDL.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/capDL.tex -------------------------------------------------------------------------------- /capDL-tool/doc/tex/imgs/logos/seL4-Foundation-logo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/imgs/logos/seL4-Foundation-logo.pdf -------------------------------------------------------------------------------- /capDL-tool/doc/tex/imgs/logos/seL4-Foundation-logo.pdf.license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/imgs/logos/seL4-Foundation-logo.pdf.license -------------------------------------------------------------------------------- /capDL-tool/doc/tex/sel4.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/doc/tex/sel4.sty -------------------------------------------------------------------------------- /capDL-tool/example-aarch64.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-aarch64.cdl -------------------------------------------------------------------------------- /capDL-tool/example-aarch64.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-aarch64.right -------------------------------------------------------------------------------- /capDL-tool/example-arm.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-arm.cdl -------------------------------------------------------------------------------- /capDL-tool/example-arm.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-arm.right -------------------------------------------------------------------------------- /capDL-tool/example-ia32.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-ia32.cdl -------------------------------------------------------------------------------- /capDL-tool/example-ia32.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example-ia32.right -------------------------------------------------------------------------------- /capDL-tool/example.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/example.cdl -------------------------------------------------------------------------------- /capDL-tool/hello-dump.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/hello-dump.cdl -------------------------------------------------------------------------------- /capDL-tool/hello-dump.right: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/hello-dump.right -------------------------------------------------------------------------------- /capDL-tool/iwana-ia32.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/iwana-ia32.cdl -------------------------------------------------------------------------------- /capDL-tool/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/stack.yaml -------------------------------------------------------------------------------- /capDL-tool/tools/capdl.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capDL-tool/tools/capdl.vim -------------------------------------------------------------------------------- /capdl-loader-app/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/CMakeLists.txt -------------------------------------------------------------------------------- /capdl-loader-app/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/README.md -------------------------------------------------------------------------------- /capdl-loader-app/helpers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/helpers.cmake -------------------------------------------------------------------------------- /capdl-loader-app/include/capdl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/include/capdl.h -------------------------------------------------------------------------------- /capdl-loader-app/include/capdl_spec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/include/capdl_spec.h -------------------------------------------------------------------------------- /capdl-loader-app/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/capdl-loader-app/src/main.c -------------------------------------------------------------------------------- /cdl_utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/cdl_utils/README.md -------------------------------------------------------------------------------- /cdl_utils/capdl_linker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/cdl_utils/capdl_linker.py -------------------------------------------------------------------------------- /cdl_utils/templates/cspace.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/cdl_utils/templates/cspace.template.c -------------------------------------------------------------------------------- /cdl_utils/untyped_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/cdl_utils/untyped_gen.py -------------------------------------------------------------------------------- /object_sizes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/object_sizes/CMakeLists.txt -------------------------------------------------------------------------------- /object_sizes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/object_sizes/README.md -------------------------------------------------------------------------------- /object_sizes/object_sizes.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/object_sizes/object_sizes.yaml -------------------------------------------------------------------------------- /python-capdl-tool/.gitignore: -------------------------------------------------------------------------------- 1 | # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 2 | # 3 | # SPDX-License-Identifier: BSD-2-Clause 4 | 5 | *.pyc 6 | -------------------------------------------------------------------------------- /python-capdl-tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/README.md -------------------------------------------------------------------------------- /python-capdl-tool/capdl/Allocator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/Allocator.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/Cap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/Cap.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/ELF.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/ELF.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/Object.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/Object.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/PageCollection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/PageCollection.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/Spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/Spec.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/__init__.py -------------------------------------------------------------------------------- /python-capdl-tool/capdl/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/capdl/util.py -------------------------------------------------------------------------------- /python-capdl-tool/examples/allocation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/examples/allocation.py -------------------------------------------------------------------------------- /python-capdl-tool/examples/capdl-manipulation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/examples/capdl-manipulation.py -------------------------------------------------------------------------------- /python-capdl-tool/examples/construct-address-space.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/examples/construct-address-space.py -------------------------------------------------------------------------------- /python-capdl-tool/examples/to-capdl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/examples/to-capdl.py -------------------------------------------------------------------------------- /python-capdl-tool/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/requirements.txt -------------------------------------------------------------------------------- /python-capdl-tool/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/__init__.py -------------------------------------------------------------------------------- /python-capdl-tool/tests/allocator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/allocator.py -------------------------------------------------------------------------------- /python-capdl-tool/tests/resources/arm-hello.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/resources/arm-hello.bin -------------------------------------------------------------------------------- /python-capdl-tool/tests/resources/ia32-hello.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/resources/ia32-hello.bin -------------------------------------------------------------------------------- /python-capdl-tool/tests/resources/stripped.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/resources/stripped.bin -------------------------------------------------------------------------------- /python-capdl-tool/tests/resources/unstripped.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/resources/unstripped.bin -------------------------------------------------------------------------------- /python-capdl-tool/tests/runall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/runall.py -------------------------------------------------------------------------------- /python-capdl-tool/tests/testelf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/testelf.py -------------------------------------------------------------------------------- /python-capdl-tool/tests/testmerge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/capdl/HEAD/python-capdl-tool/tests/testmerge.py --------------------------------------------------------------------------------