├── .cmake-format.yaml ├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── hw-tests.yml │ ├── pr.yml │ ├── push.yml │ ├── sel4test-sim.yml │ └── trigger.yml ├── .gitignore ├── .licenseignore ├── .reuse └── dep5 ├── .stylefilter ├── LICENSE.md ├── LICENSES ├── BSD-2-Clause.txt ├── BSD-3-Clause.txt ├── CC-BY-SA-4.0.txt ├── GPL-2.0-only.txt └── GPL-2.0-or-later.txt ├── README.md ├── cmake-tool ├── README.md ├── all.cmake ├── base.cmake ├── common.cmake ├── default-CMakeLists.txt ├── griddle ├── helpers │ ├── Holmakefile.in │ ├── application_settings.cmake │ ├── buildScript.sml.in │ ├── cakeml.cmake │ ├── check_arch_compiler.cmake │ ├── cmakerepl │ ├── configure_file.cmake │ ├── cpio.cmake │ ├── cross_compiling.cmake │ ├── debug.cmake │ ├── dts.cmake │ ├── elf_sift.py │ ├── environment_flags.cmake │ ├── external-project-helpers.cmake │ ├── make-uimage │ ├── make.cmake │ ├── memoize.cmake │ ├── nanopb.cmake │ ├── pkg-config.in │ ├── platform_sift.py │ ├── rootserver.cmake │ ├── rust.cmake │ ├── shoehorn.py │ ├── simulation.cmake │ └── tls_rootserver.lds ├── init-build.sh ├── polly_toolchains │ ├── FindPolly.cmake │ └── linux-gcc-32bit-pic.cmake ├── projects.cmake ├── rust_targets │ ├── aarch32-sel4-none.json │ ├── aarch64-sel4-none.json │ └── x86_64-sel4-none.json └── simulate_scripts │ ├── launch_gdb.py │ └── simulate.py ├── elfloader-tool ├── CMakeLists.txt ├── Findelfloader-tool.cmake ├── README.md ├── helpers.cmake ├── include │ ├── abort.h │ ├── arch-arm │ │ ├── 32 │ │ │ └── mode │ │ │ │ ├── arm_generic_timer.h │ │ │ │ ├── assembler.h │ │ │ │ └── structures.h │ │ ├── 64 │ │ │ └── mode │ │ │ │ ├── arm_generic_timer.h │ │ │ │ ├── assembler.h │ │ │ │ └── structures.h │ │ ├── armv │ │ │ ├── armv7-a │ │ │ │ └── armv │ │ │ │ │ ├── assembler.h │ │ │ │ │ ├── machine.h │ │ │ │ │ └── smp.h │ │ │ ├── armv7ve │ │ │ └── armv8-a │ │ │ │ ├── 32 │ │ │ │ └── 64 │ │ │ │ └── armv │ │ │ │ ├── assembler.h │ │ │ │ ├── machine.h │ │ │ │ └── smp.h │ │ ├── cpuid.h │ │ ├── elfloader.h │ │ ├── psci.h │ │ └── scu.h │ ├── arch-riscv │ │ ├── elfloader.h │ │ └── sbi.h │ ├── assembler.h │ ├── binaries │ │ ├── efi │ │ │ └── efi.h │ │ └── elf │ │ │ ├── elf.h │ │ │ ├── elf32.h │ │ │ └── elf64.h │ ├── drivers.h │ ├── drivers │ │ ├── common.h │ │ ├── smp.h │ │ └── uart.h │ ├── elfloader_common.h │ ├── fdt.h │ ├── plat │ │ ├── zynq7000 │ │ │ └── sys_fputc.h │ │ └── zynqmp │ │ │ └── sys_fputc.h │ ├── printf.h │ ├── strops.h │ ├── types.h │ └── vargs.h └── src │ ├── arch-arm │ ├── 32 │ │ ├── cpuid.c │ │ ├── crt0.S │ │ ├── crt0_64.S │ │ ├── debug.c │ │ ├── idle.c │ │ ├── mmu.c │ │ ├── smp.c │ │ ├── structures.c │ │ └── traps.S │ ├── 64 │ │ ├── cpuid.c │ │ ├── crt0.S │ │ ├── debug.c │ │ ├── mmu.c │ │ ├── structures.c │ │ └── traps.S │ ├── README.md │ ├── armv │ │ ├── armv7-a │ │ │ └── 32 │ │ │ │ ├── mmu-hyp.S │ │ │ │ ├── mmu.S │ │ │ │ └── smc.S │ │ ├── armv7ve │ │ └── armv8-a │ │ │ ├── 32 │ │ │ └── 64 │ │ │ ├── mmu-hyp.S │ │ │ ├── mmu.S │ │ │ ├── psci_asm.S │ │ │ └── smp.c │ ├── cpuid.c │ ├── drivers │ │ ├── smp-imx6.c │ │ ├── smp-psci.c │ │ ├── smp-spin-table.c │ │ └── smp-zynq7000.c │ ├── psci.c │ ├── scu.c │ ├── smp_boot.c │ └── sys_boot.c │ ├── arch-riscv │ ├── boot.c │ ├── console.c │ └── crt0.S │ ├── archive.bin.lds │ ├── binaries │ ├── efi │ │ ├── efi_init.c │ │ ├── efi_utils.c │ │ └── gnuefi │ │ │ ├── crt0-efi-aarch64.S │ │ │ ├── crt0-efi-arm.S │ │ │ ├── elf_aarch64_efi.lds │ │ │ ├── elf_arm_efi.lds │ │ │ ├── reloc_aarch64.c │ │ │ └── reloc_arm.c │ └── elf │ │ ├── elf.c │ │ ├── elf32.c │ │ └── elf64.c │ ├── common.c │ ├── crypt_md5.h │ ├── crypt_sha256.h │ ├── defaults.c │ ├── drivers │ ├── driver.c │ ├── smp │ │ └── common.c │ ├── timer │ │ └── arm_generic_timer.c │ └── uart │ │ ├── 8250-uart.c │ │ ├── bcm-uart.c │ │ ├── common.c │ │ ├── exynos-uart.c │ │ ├── imx-lpuart.c │ │ ├── imx-uart.c │ │ ├── meson-uart.c │ │ ├── msm-uart.c │ │ ├── pl011-uart.c │ │ └── xilinx-uart.c │ ├── fdt.c │ ├── hash.h │ ├── linker.lds │ ├── plat │ ├── exynos5 │ │ └── platform_init.c │ ├── fvp │ │ └── platform_init.c │ ├── imx6 │ │ ├── monitor.S │ │ └── platform_init.c │ ├── imx7 │ │ ├── head_smp.S │ │ └── smp.c │ ├── tk1 │ │ ├── monitor.S │ │ └── platform_init.c │ ├── tx2 │ │ └── platform_init.c │ └── zynq7000 │ │ └── platform_init.c │ ├── printf.c │ ├── string.c │ └── utils │ ├── crypt_md5.c │ ├── crypt_sha256.c │ └── hash.c └── misc ├── .gitlint ├── Makefile.cpio_strip ├── README.md ├── astylerc ├── cobbler ├── cpio-strip.c ├── filter.py ├── is-valid-shell-script ├── style-all.sh ├── style-c.sh ├── style-changed.sh ├── style-cmake.sh ├── style-py.sh ├── style.py ├── style.sh └── whence.py /.cmake-format.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.cmake-format.yaml -------------------------------------------------------------------------------- /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/hw-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/workflows/hw-tests.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/sel4test-sim.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/workflows/sel4test-sim.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.gitignore -------------------------------------------------------------------------------- /.licenseignore: -------------------------------------------------------------------------------- 1 | .git 2 | LICENSES/*.txt 3 | .licenseignore 4 | .reuse/dep5 5 | kbuild-tool/* 6 | *.json 7 | *.pyc -------------------------------------------------------------------------------- /.reuse/dep5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.reuse/dep5 -------------------------------------------------------------------------------- /.stylefilter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/.stylefilter -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/BSD-3-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSES/BSD-3-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /LICENSES/GPL-2.0-only.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSES/GPL-2.0-only.txt -------------------------------------------------------------------------------- /LICENSES/GPL-2.0-or-later.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/LICENSES/GPL-2.0-or-later.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/README.md -------------------------------------------------------------------------------- /cmake-tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/README.md -------------------------------------------------------------------------------- /cmake-tool/all.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/all.cmake -------------------------------------------------------------------------------- /cmake-tool/base.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/base.cmake -------------------------------------------------------------------------------- /cmake-tool/common.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/common.cmake -------------------------------------------------------------------------------- /cmake-tool/default-CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/default-CMakeLists.txt -------------------------------------------------------------------------------- /cmake-tool/griddle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/griddle -------------------------------------------------------------------------------- /cmake-tool/helpers/Holmakefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/Holmakefile.in -------------------------------------------------------------------------------- /cmake-tool/helpers/application_settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/application_settings.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/buildScript.sml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/buildScript.sml.in -------------------------------------------------------------------------------- /cmake-tool/helpers/cakeml.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/cakeml.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/check_arch_compiler.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/check_arch_compiler.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/cmakerepl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/cmakerepl -------------------------------------------------------------------------------- /cmake-tool/helpers/configure_file.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/configure_file.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/cpio.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/cpio.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/cross_compiling.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/cross_compiling.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/debug.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/debug.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/dts.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/dts.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/elf_sift.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/elf_sift.py -------------------------------------------------------------------------------- /cmake-tool/helpers/environment_flags.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/environment_flags.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/external-project-helpers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/external-project-helpers.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/make-uimage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/make-uimage -------------------------------------------------------------------------------- /cmake-tool/helpers/make.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/make.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/memoize.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/memoize.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/nanopb.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/nanopb.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/pkg-config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/pkg-config.in -------------------------------------------------------------------------------- /cmake-tool/helpers/platform_sift.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/platform_sift.py -------------------------------------------------------------------------------- /cmake-tool/helpers/rootserver.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/rootserver.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/rust.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/rust.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/shoehorn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/shoehorn.py -------------------------------------------------------------------------------- /cmake-tool/helpers/simulation.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/simulation.cmake -------------------------------------------------------------------------------- /cmake-tool/helpers/tls_rootserver.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/helpers/tls_rootserver.lds -------------------------------------------------------------------------------- /cmake-tool/init-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/init-build.sh -------------------------------------------------------------------------------- /cmake-tool/polly_toolchains/FindPolly.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/polly_toolchains/FindPolly.cmake -------------------------------------------------------------------------------- /cmake-tool/polly_toolchains/linux-gcc-32bit-pic.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/polly_toolchains/linux-gcc-32bit-pic.cmake -------------------------------------------------------------------------------- /cmake-tool/projects.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/projects.cmake -------------------------------------------------------------------------------- /cmake-tool/rust_targets/aarch32-sel4-none.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/rust_targets/aarch32-sel4-none.json -------------------------------------------------------------------------------- /cmake-tool/rust_targets/aarch64-sel4-none.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/rust_targets/aarch64-sel4-none.json -------------------------------------------------------------------------------- /cmake-tool/rust_targets/x86_64-sel4-none.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/rust_targets/x86_64-sel4-none.json -------------------------------------------------------------------------------- /cmake-tool/simulate_scripts/launch_gdb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/simulate_scripts/launch_gdb.py -------------------------------------------------------------------------------- /cmake-tool/simulate_scripts/simulate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/cmake-tool/simulate_scripts/simulate.py -------------------------------------------------------------------------------- /elfloader-tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/CMakeLists.txt -------------------------------------------------------------------------------- /elfloader-tool/Findelfloader-tool.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/Findelfloader-tool.cmake -------------------------------------------------------------------------------- /elfloader-tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/README.md -------------------------------------------------------------------------------- /elfloader-tool/helpers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/helpers.cmake -------------------------------------------------------------------------------- /elfloader-tool/include/abort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/abort.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/32/mode/arm_generic_timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/32/mode/arm_generic_timer.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/32/mode/assembler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/32/mode/assembler.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/32/mode/structures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/32/mode/structures.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/64/mode/arm_generic_timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/64/mode/arm_generic_timer.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/64/mode/assembler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/64/mode/assembler.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/64/mode/structures.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/64/mode/structures.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv7-a/armv/assembler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv7-a/armv/assembler.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv7-a/armv/machine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv7-a/armv/machine.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv7-a/armv/smp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv7-a/armv/smp.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv7ve: -------------------------------------------------------------------------------- 1 | armv7-a -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv8-a/32: -------------------------------------------------------------------------------- 1 | ../armv7-a/ -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/assembler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/assembler.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/machine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/machine.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/smp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/smp.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/cpuid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/cpuid.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/elfloader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/elfloader.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/psci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/psci.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-arm/scu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-arm/scu.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-riscv/elfloader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-riscv/elfloader.h -------------------------------------------------------------------------------- /elfloader-tool/include/arch-riscv/sbi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/arch-riscv/sbi.h -------------------------------------------------------------------------------- /elfloader-tool/include/assembler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/assembler.h -------------------------------------------------------------------------------- /elfloader-tool/include/binaries/efi/efi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/binaries/efi/efi.h -------------------------------------------------------------------------------- /elfloader-tool/include/binaries/elf/elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/binaries/elf/elf.h -------------------------------------------------------------------------------- /elfloader-tool/include/binaries/elf/elf32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/binaries/elf/elf32.h -------------------------------------------------------------------------------- /elfloader-tool/include/binaries/elf/elf64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/binaries/elf/elf64.h -------------------------------------------------------------------------------- /elfloader-tool/include/drivers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/drivers.h -------------------------------------------------------------------------------- /elfloader-tool/include/drivers/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/drivers/common.h -------------------------------------------------------------------------------- /elfloader-tool/include/drivers/smp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/drivers/smp.h -------------------------------------------------------------------------------- /elfloader-tool/include/drivers/uart.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/drivers/uart.h -------------------------------------------------------------------------------- /elfloader-tool/include/elfloader_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/elfloader_common.h -------------------------------------------------------------------------------- /elfloader-tool/include/fdt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/fdt.h -------------------------------------------------------------------------------- /elfloader-tool/include/plat/zynq7000/sys_fputc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/plat/zynq7000/sys_fputc.h -------------------------------------------------------------------------------- /elfloader-tool/include/plat/zynqmp/sys_fputc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/plat/zynqmp/sys_fputc.h -------------------------------------------------------------------------------- /elfloader-tool/include/printf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/printf.h -------------------------------------------------------------------------------- /elfloader-tool/include/strops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/strops.h -------------------------------------------------------------------------------- /elfloader-tool/include/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/types.h -------------------------------------------------------------------------------- /elfloader-tool/include/vargs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/include/vargs.h -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/cpuid.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/crt0.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/crt0_64.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/crt0_64.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/debug.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/idle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/idle.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/mmu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/mmu.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/smp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/smp.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/structures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/structures.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/32/traps.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/32/traps.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/cpuid.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/crt0.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/debug.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/mmu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/mmu.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/structures.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/structures.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/64/traps.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/64/traps.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/README.md -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv7-a/32/mmu-hyp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv7-a/32/mmu-hyp.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv7-a/32/mmu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv7-a/32/mmu.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv7-a/32/smc.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv7-a/32/smc.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv7ve: -------------------------------------------------------------------------------- 1 | armv7-a -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv8-a/32: -------------------------------------------------------------------------------- 1 | ../../armv/armv7-a/32/ -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv8-a/64/mmu-hyp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv8-a/64/mmu-hyp.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv8-a/64/mmu.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv8-a/64/mmu.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv8-a/64/psci_asm.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv8-a/64/psci_asm.S -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/armv/armv8-a/64/smp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/armv/armv8-a/64/smp.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/cpuid.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/drivers/smp-imx6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/drivers/smp-imx6.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/drivers/smp-psci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/drivers/smp-psci.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/drivers/smp-spin-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/drivers/smp-spin-table.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/drivers/smp-zynq7000.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/drivers/smp-zynq7000.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/psci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/psci.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/scu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/scu.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/smp_boot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/smp_boot.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-arm/sys_boot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-arm/sys_boot.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-riscv/boot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-riscv/boot.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-riscv/console.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-riscv/console.c -------------------------------------------------------------------------------- /elfloader-tool/src/arch-riscv/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/arch-riscv/crt0.S -------------------------------------------------------------------------------- /elfloader-tool/src/archive.bin.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/archive.bin.lds -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/efi_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/efi_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/efi_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/efi_utils.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/crt0-efi-aarch64.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/crt0-efi-aarch64.S -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/crt0-efi-arm.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/crt0-efi-arm.S -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/elf_aarch64_efi.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/elf_aarch64_efi.lds -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/elf_arm_efi.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/elf_arm_efi.lds -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/reloc_aarch64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/reloc_aarch64.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/efi/gnuefi/reloc_arm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/efi/gnuefi/reloc_arm.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/elf/elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/elf/elf.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/elf/elf32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/elf/elf32.c -------------------------------------------------------------------------------- /elfloader-tool/src/binaries/elf/elf64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/binaries/elf/elf64.c -------------------------------------------------------------------------------- /elfloader-tool/src/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/common.c -------------------------------------------------------------------------------- /elfloader-tool/src/crypt_md5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/crypt_md5.h -------------------------------------------------------------------------------- /elfloader-tool/src/crypt_sha256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/crypt_sha256.h -------------------------------------------------------------------------------- /elfloader-tool/src/defaults.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/defaults.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/driver.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/smp/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/smp/common.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/timer/arm_generic_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/timer/arm_generic_timer.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/8250-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/8250-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/bcm-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/bcm-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/common.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/exynos-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/exynos-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/imx-lpuart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/imx-lpuart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/imx-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/imx-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/meson-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/meson-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/msm-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/msm-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/pl011-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/pl011-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/drivers/uart/xilinx-uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/drivers/uart/xilinx-uart.c -------------------------------------------------------------------------------- /elfloader-tool/src/fdt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/fdt.c -------------------------------------------------------------------------------- /elfloader-tool/src/hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/hash.h -------------------------------------------------------------------------------- /elfloader-tool/src/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/linker.lds -------------------------------------------------------------------------------- /elfloader-tool/src/plat/exynos5/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/exynos5/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/fvp/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/fvp/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/imx6/monitor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/imx6/monitor.S -------------------------------------------------------------------------------- /elfloader-tool/src/plat/imx6/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/imx6/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/imx7/head_smp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/imx7/head_smp.S -------------------------------------------------------------------------------- /elfloader-tool/src/plat/imx7/smp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/imx7/smp.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/tk1/monitor.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/tk1/monitor.S -------------------------------------------------------------------------------- /elfloader-tool/src/plat/tk1/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/tk1/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/tx2/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/tx2/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/plat/zynq7000/platform_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/plat/zynq7000/platform_init.c -------------------------------------------------------------------------------- /elfloader-tool/src/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/printf.c -------------------------------------------------------------------------------- /elfloader-tool/src/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/string.c -------------------------------------------------------------------------------- /elfloader-tool/src/utils/crypt_md5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/utils/crypt_md5.c -------------------------------------------------------------------------------- /elfloader-tool/src/utils/crypt_sha256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/utils/crypt_sha256.c -------------------------------------------------------------------------------- /elfloader-tool/src/utils/hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/elfloader-tool/src/utils/hash.c -------------------------------------------------------------------------------- /misc/.gitlint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/.gitlint -------------------------------------------------------------------------------- /misc/Makefile.cpio_strip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/Makefile.cpio_strip -------------------------------------------------------------------------------- /misc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/README.md -------------------------------------------------------------------------------- /misc/astylerc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/astylerc -------------------------------------------------------------------------------- /misc/cobbler: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/cobbler -------------------------------------------------------------------------------- /misc/cpio-strip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/cpio-strip.c -------------------------------------------------------------------------------- /misc/filter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/filter.py -------------------------------------------------------------------------------- /misc/is-valid-shell-script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/is-valid-shell-script -------------------------------------------------------------------------------- /misc/style-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style-all.sh -------------------------------------------------------------------------------- /misc/style-c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style-c.sh -------------------------------------------------------------------------------- /misc/style-changed.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style-changed.sh -------------------------------------------------------------------------------- /misc/style-cmake.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style-cmake.sh -------------------------------------------------------------------------------- /misc/style-py.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style-py.sh -------------------------------------------------------------------------------- /misc/style.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style.py -------------------------------------------------------------------------------- /misc/style.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/style.sh -------------------------------------------------------------------------------- /misc/whence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/seL4_tools/HEAD/misc/whence.py --------------------------------------------------------------------------------