kernel/
├── CAVEATS-generic.md
├── CAVEATS-ia32.md
├── CHANGES
├── CMakeLists.txt
├── CODE_OF_CONDUCT.md
├── config.cmake
├── configs
│   ├── AARCH64_verified.cmake
│   ├── ARM_HYP_verified.cmake
│   ├── ARM_MCS_verified.cmake
│   ├── ARM_verified.cmake
│   ├── RISCV64_MCS_verified.cmake
│   ├── RISCV64_verified.cmake
│   ├── seL4Config.cmake
│   └── X64_verified.cmake
├── CONTRIBUTING.md
├── CONTRIBUTORS.md
├── FindseL4.cmake
├── gcc.cmake
├── gdb-macros
├── include
│   ├── 32
│   │   └── mode
│   │       ├── api
│   │       │   └── ipc_buffer.h
│   │       ├── config.cmake
│   │       ├── stdint.h
│   │       └── util.h
│   ├── 64
│   │   └── mode
│   │       ├── api
│   │       │   └── ipc_buffer.h
│   │       ├── config.cmake
│   │       ├── stdint.h
│   │       └── util.h
│   ├── api
│   │   ├── debug.h
│   │   ├── failures.h
│   │   ├── faults.h
│   │   ├── syscall.h
│   │   └── types.h
│   ├── api.h
│   ├── arch
│   │   ├── arm
│   │   │   ├── arch
│   │   │   │   ├── 32
│   │   │   │   │   └── mode
│   │   │   │   │       ├── fastpath
│   │   │   │   │       │   └── fastpath.h
│   │   │   │   │       ├── hardware.h
│   │   │   │   │       ├── kernel
│   │   │   │   │       │   ├── stack.h
│   │   │   │   │       │   ├── thread.h
│   │   │   │   │       │   └── vspace.h
│   │   │   │   │       ├── machine
│   │   │   │   │       │   ├── debug.h
│   │   │   │   │       │   ├── fpu.h
│   │   │   │   │       │   ├── hardware.h
│   │   │   │   │       │   ├── registerset.h
│   │   │   │   │       │   └── timer.h
│   │   │   │   │       ├── machine.h
│   │   │   │   │       ├── machine_pl2.h
│   │   │   │   │       ├── model
│   │   │   │   │       │   └── statedata.h
│   │   │   │   │       ├── object
│   │   │   │   │       │   ├── structures.bf
│   │   │   │   │       │   └── structures.h
│   │   │   │   │       ├── smp
│   │   │   │   │       │   ├── ipi.h
│   │   │   │   │       │   └── smp.h
│   │   │   │   │       └── types.h
│   │   │   │   ├── 64
│   │   │   │   │   └── mode
│   │   │   │   │       ├── fastpath
│   │   │   │   │       │   └── fastpath.h
│   │   │   │   │       ├── hardware.h
│   │   │   │   │       ├── kernel
│   │   │   │   │       │   ├── stack.h
│   │   │   │   │       │   ├── thread.h
│   │   │   │   │       │   └── vspace.h
│   │   │   │   │       ├── machine
│   │   │   │   │       │   ├── debug.h
│   │   │   │   │       │   ├── fpu.h
│   │   │   │   │       │   ├── hardware.h
│   │   │   │   │       │   ├── registerset.h
│   │   │   │   │       │   └── timer.h
│   │   │   │   │       ├── machine.h
│   │   │   │   │       ├── machine_pl2.h
│   │   │   │   │       ├── model
│   │   │   │   │       │   └── statedata.h
│   │   │   │   │       ├── object
│   │   │   │   │       │   ├── structures.bf
│   │   │   │   │       │   └── structures.h
│   │   │   │   │       ├── smp
│   │   │   │   │       │   ├── ipi.h
│   │   │   │   │       │   └── smp.h
│   │   │   │   │       └── types.h
│   │   │   │   ├── api
│   │   │   │   │   └── types.h
│   │   │   │   ├── benchmark.h
│   │   │   │   ├── bootinfo.h
│   │   │   │   ├── fastpath
│   │   │   │   │   └── fastpath.h
│   │   │   │   ├── kernel
│   │   │   │   │   ├── boot.h
│   │   │   │   │   ├── thread.h
│   │   │   │   │   ├── traps.h
│   │   │   │   │   └── vspace.h
│   │   │   │   ├── linker.h
│   │   │   │   ├── machine
│   │   │   │   │   ├── capdl.h
│   │   │   │   │   ├── debug_conf.h
│   │   │   │   │   ├── debug.h
│   │   │   │   │   ├── fpu.h
│   │   │   │   │   ├── gic_common.h
│   │   │   │   │   ├── gic_v2.h
│   │   │   │   │   ├── gic_v3.h
│   │   │   │   │   ├── hardware.h
│   │   │   │   │   ├── l2c_310.h
│   │   │   │   │   ├── registerset.h
│   │   │   │   │   ├── timer.h
│   │   │   │   │   └── tlb.h
│   │   │   │   ├── machine.h
│   │   │   │   ├── model
│   │   │   │   │   ├── smp.h
│   │   │   │   │   └── statedata.h
│   │   │   │   ├── object
│   │   │   │   │   ├── interrupt.h
│   │   │   │   │   ├── iospace.h
│   │   │   │   │   ├── objecttype.h
│   │   │   │   │   ├── smmu.h
│   │   │   │   │   ├── structures.bf
│   │   │   │   │   ├── structures.h
│   │   │   │   │   └── vcpu.h
│   │   │   │   ├── smp
│   │   │   │   │   ├── ipi.h
│   │   │   │   │   └── ipi_inline.h
│   │   │   │   ├── types.h
│   │   │   │   └── user_access.h
│   │   │   └── armv
│   │   │       ├── armv7-a
│   │   │       │   └── armv
│   │   │       │       ├── benchmark.h
│   │   │       │       ├── context_switch.h
│   │   │       │       ├── debug.h
│   │   │       │       ├── machine.h
│   │   │       │       └── vcpu.h
│   │   │       ├── armv7ve
│   │   │       │   └── armv
│   │   │       │       ├── benchmark.h
│   │   │       │       ├── context_switch.h
│   │   │       │       ├── debug.h
│   │   │       │       ├── machine.h
│   │   │       │       └── vcpu.h
│   │   │       └── armv8-a
│   │   │           ├── 32
│   │   │           │   └── armv
│   │   │           │       ├── benchmark.h
│   │   │           │       ├── context_switch.h
│   │   │           │       ├── debug.h
│   │   │           │       ├── machine.h
│   │   │           │       └── vcpu.h
│   │   │           └── 64
│   │   │               └── armv
│   │   │                   ├── benchmark.h
│   │   │                   ├── context_switch.h
│   │   │                   ├── debug.h
│   │   │                   ├── machine.h
│   │   │                   ├── tlb.h
│   │   │                   └── vcpu.h
│   │   ├── riscv
│   │   │   └── arch
│   │   │       ├── 32
│   │   │       │   └── mode
│   │   │       │       ├── hardware.h
│   │   │       │       ├── kernel
│   │   │       │       │   └── stack.h
│   │   │       │       ├── machine.h
│   │   │       │       ├── object
│   │   │       │       │   ├── structures.bf
│   │   │       │       │   └── structures.h
│   │   │       │       ├── smp
│   │   │       │       │   └── ipi.h
│   │   │       │       └── types.h
│   │   │       ├── 64
│   │   │       │   └── mode
│   │   │       │       ├── hardware.h
│   │   │       │       ├── kernel
│   │   │       │       │   └── stack.h
│   │   │       │       ├── machine.h
│   │   │       │       ├── object
│   │   │       │       │   ├── structures.bf
│   │   │       │       │   └── structures.h
│   │   │       │       ├── smp
│   │   │       │       │   └── ipi.h
│   │   │       │       └── types.h
│   │   │       ├── api
│   │   │       │   └── types.h
│   │   │       ├── benchmark.h
│   │   │       ├── bootinfo.h
│   │   │       ├── fastpath
│   │   │       │   └── fastpath.h
│   │   │       ├── kernel
│   │   │       │   ├── boot.h
│   │   │       │   ├── thread.h
│   │   │       │   ├── traps.h
│   │   │       │   └── vspace.h
│   │   │       ├── linker.h
│   │   │       ├── machine
│   │   │       │   ├── capdl.h
│   │   │       │   ├── fpu.h
│   │   │       │   ├── hardware.h
│   │   │       │   ├── plic.h
│   │   │       │   ├── registerset.h
│   │   │       │   └── timer.h
│   │   │       ├── machine.h
│   │   │       ├── model
│   │   │       │   ├── smp.h
│   │   │       │   └── statedata.h
│   │   │       ├── object
│   │   │       │   ├── interrupt.h
│   │   │       │   ├── objecttype.h
│   │   │       │   ├── structures.bf
│   │   │       │   └── structures.h
│   │   │       ├── sbi.h
│   │   │       ├── smp
│   │   │       │   ├── ipi.h
│   │   │       │   └── ipi_inline.h
│   │   │       └── types.h
│   │   └── x86
│   │       └── arch
│   │           ├── 32
│   │           │   └── mode
│   │           │       ├── fastpath
│   │           │       │   └── fastpath.h
│   │           │       ├── hardware.h
│   │           │       ├── kernel
│   │           │       │   ├── elf.h
│   │           │       │   ├── stack.h
│   │           │       │   ├── tlb.h
│   │           │       │   └── vspace.h
│   │           │       ├── machine
│   │           │       │   ├── cpu_registers.h
│   │           │       │   ├── debug.h
│   │           │       │   └── registerset.h
│   │           │       ├── machine.h
│   │           │       ├── model
│   │           │       │   ├── smp.h
│   │           │       │   └── statedata.h
│   │           │       ├── object
│   │           │       │   ├── structures.bf
│   │           │       │   └── structures.h
│   │           │       ├── smp
│   │           │       │   └── ipi.h
│   │           │       ├── stack.h
│   │           │       └── types.h
│   │           ├── 64
│   │           │   └── mode
│   │           │       ├── fastpath
│   │           │       │   └── fastpath.h
│   │           │       ├── hardware.h
│   │           │       ├── kernel
│   │           │       │   ├── elf.h
│   │           │       │   ├── stack.h
│   │           │       │   ├── tlb.h
│   │           │       │   └── vspace.h
│   │           │       ├── machine
│   │           │       │   ├── cpu_registers.h
│   │           │       │   ├── debug.h
│   │           │       │   └── registerset.h
│   │           │       ├── machine.h
│   │           │       ├── model
│   │           │       │   ├── smp.h
│   │           │       │   └── statedata.h
│   │           │       ├── object
│   │           │       │   ├── structures.bf
│   │           │       │   └── structures.h
│   │           │       ├── smp
│   │           │       │   └── ipi.h
│   │           │       └── types.h
│   │           ├── api
│   │           │   └── types.h
│   │           ├── benchmark.h
│   │           ├── bootinfo.h
│   │           ├── fastpath
│   │           │   └── fastpath.h
│   │           ├── kernel
│   │           │   ├── apic.h
│   │           │   ├── boot.h
│   │           │   ├── boot_sys.h
│   │           │   ├── cmdline.h
│   │           │   ├── elf.h
│   │           │   ├── ept.h
│   │           │   ├── multiboot2.h
│   │           │   ├── multiboot.h
│   │           │   ├── smp_sys.h
│   │           │   ├── thread.h
│   │           │   ├── tlb_bitmap_defs.h
│   │           │   ├── tlb_bitmap.h
│   │           │   ├── tlb.h
│   │           │   ├── traps.h
│   │           │   ├── vspace.h
│   │           │   ├── x2apic.h
│   │           │   └── xapic.h
│   │           ├── linker.h
│   │           ├── machine
│   │           │   ├── capdl.h
│   │           │   ├── cpu_registers.h
│   │           │   ├── debug.h
│   │           │   ├── fpu.h
│   │           │   ├── hardware.h
│   │           │   ├── pat.h
│   │           │   ├── registerset.h
│   │           │   └── timer.h
│   │           ├── machine.h
│   │           ├── model
│   │           │   ├── smp.h
│   │           │   └── statedata.h
│   │           ├── object
│   │           │   ├── interrupt.h
│   │           │   ├── ioport.h
│   │           │   ├── iospace.h
│   │           │   ├── objecttype.h
│   │           │   ├── structures.bf
│   │           │   ├── structures.h
│   │           │   ├── tcb.h
│   │           │   └── vcpu.h
│   │           ├── smp
│   │           │   ├── ipi.h
│   │           │   └── ipi_inline.h
│   │           └── types.h
│   ├── assert.h
│   ├── basic_types.h
│   ├── benchmark
│   │   ├── benchmark.h
│   │   ├── benchmark_track.h
│   │   ├── benchmark_utilisation.h
│   │   └── benchmark_utilisation_.h
│   ├── bootinfo.h
│   ├── compound_types.h
│   ├── config.h
│   ├── drivers
│   │   ├── irq
│   │   │   ├── am335x.h
│   │   │   ├── bcm2836-armctrl-ic.h
│   │   │   ├── omap3.h
│   │   │   ├── riscv_plic0.h
│   │   │   └── riscv_plic_dummy.h
│   │   ├── smmu
│   │   │   └── smmuv2.h
│   │   ├── timer
│   │   │   ├── am335x.h
│   │   │   ├── arm_generic.h
│   │   │   ├── arm_global.h
│   │   │   ├── arm_priv.h
│   │   │   ├── exynos4412-mct.h
│   │   │   ├── mct.h
│   │   │   └── omap3430.h
│   │   └── uart.h
│   ├── fastpath
│   │   └── fastpath.h
│   ├── hardware.h
│   ├── kernel
│   │   ├── boot.h
│   │   ├── cspace.h
│   │   ├── faulthandler.h
│   │   ├── sporadic.h
│   │   ├── stack.h
│   │   ├── thread.h
│   │   ├── traps.h
│   │   └── vspace.h
│   ├── linker.h
│   ├── machine
│   │   ├── assembler.h
│   │   ├── capdl.h
│   │   ├── debug.h
│   │   ├── fpu.h
│   │   ├── interrupt.h
│   │   ├── io.h
│   │   ├── profiler.h
│   │   ├── registerset.h
│   │   └── timer.h
│   ├── machine.h
│   ├── model
│   │   ├── preemption.h
│   │   ├── smp.h
│   │   └── statedata.h
│   ├── object
│   │   ├── cap.h
│   │   ├── cnode.h
│   │   ├── endpoint.h
│   │   ├── interrupt.h
│   │   ├── notification.h
│   │   ├── objecttype.h
│   │   ├── reply.h
│   │   ├── schedcontext.h
│   │   ├── schedcontrol.h
│   │   ├── structures_32.bf
│   │   ├── structures_64.bf
│   │   ├── structures.h
│   │   ├── tcb.h
│   │   └── untyped.h
│   ├── object.h
│   ├── plat
│   │   ├── default
│   │   │   └── plat
│   │   │       ├── machine
│   │   │       │   └── hardware.h
│   │   │       └── machine.h
│   │   ├── pc99
│   │   │   └── plat
│   │   │       ├── 32
│   │   │       │   └── plat_mode
│   │   │       │       └── machine
│   │   │       │           ├── hardware.bf
│   │   │       │           └── hardware.h
│   │   │       ├── 64
│   │   │       │   └── plat_mode
│   │   │       │       └── machine
│   │   │       │           ├── hardware.bf
│   │   │       │           └── hardware.h
│   │   │       ├── machine
│   │   │       │   ├── acpi.h
│   │   │       │   ├── devices.h
│   │   │       │   ├── hardware.h
│   │   │       │   ├── intel-vtd.h
│   │   │       │   ├── interrupt.h
│   │   │       │   ├── ioapic.h
│   │   │       │   ├── io.h
│   │   │       │   ├── pci.h
│   │   │       │   ├── pic.h
│   │   │       │   └── pit.h
│   │   │       └── machine.h
│   │   └── tk1
│   │       └── plat
│   │           └── machine
│   │               ├── hardware.bf
│   │               └── smmu.h
│   ├── smp
│   │   ├── ipi.h
│   │   └── lock.h
│   ├── stdarg.h
│   ├── stdint.h
│   ├── string.h
│   ├── types.h
│   └── util.h
├── libsel4
│   ├── arch_include
│   │   ├── arm
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── arch
│   │   │           ├── constants_cortex_a15.h
│   │   │           ├── constants_cortex_a35.h
│   │   │           ├── constants_cortex_a53.h
│   │   │           ├── constants_cortex_a55.h
│   │   │           ├── constants_cortex_a57.h
│   │   │           ├── constants_cortex_a72.h
│   │   │           ├── constants_cortex_a7.h
│   │   │           ├── constants_cortex_a8.h
│   │   │           ├── constants_cortex_a9.h
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── shared_types.bf
│   │   │           ├── shared_types.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           └── types.h
│   │   ├── riscv
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── exIPC.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── shared_types.bf
│   │   │           ├── shared_types.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           └── types.h
│   │   └── x86
│   │       ├── interfaces
│   │       │   └── sel4arch.xml
│   │       └── sel4
│   │           └── arch
│   │               ├── bootinfo_types.h
│   │               ├── constants.h
│   │               ├── deprecated.h
│   │               ├── exIPC.h
│   │               ├── mapping.h
│   │               ├── objecttype.h
│   │               ├── pfIPC.h
│   │               ├── shared_types.bf
│   │               ├── simple_types.h
│   │               ├── syscalls.h
│   │               ├── types.h
│   │               └── vmenter.h
│   ├── CMakeLists.txt
│   ├── include
│   │   ├── api
│   │   │   ├── syscall.xml
│   │   │   └── syscall.xsd
│   │   ├── interfaces
│   │   │   └── sel4.xml
│   │   └── sel4
│   │       ├── assert.h
│   │       ├── benchmark_tracepoints_types.h
│   │       ├── benchmark_track_types.h
│   │       ├── benchmark_utilisation_types.h
│   │       ├── bootinfo.h
│   │       ├── bootinfo_types.h
│   │       ├── config.h
│   │       ├── constants.h
│   │       ├── debug_assert.h
│   │       ├── deprecated.h
│   │       ├── errors.h
│   │       ├── faults.h
│   │       ├── functions.h
│   │       ├── macros.h
│   │       ├── messages.h
│   │       ├── objecttype.h
│   │       ├── sel4.h
│   │       ├── shared_types.h
│   │       ├── simple_types.h
│   │       ├── syscalls.h
│   │       ├── syscalls_master.h
│   │       ├── syscalls_mcs.h
│   │       ├── types.h
│   │       └── virtual_client.h
│   ├── mode_include
│   │   ├── 32
│   │   │   └── sel4
│   │   │       ├── mode
│   │   │       │   └── types.h
│   │   │       └── shared_types.bf
│   │   └── 64
│   │       └── sel4
│   │           ├── mode
│   │           │   └── types.h
│   │           └── shared_types.bf
│   ├── sel4_arch_include
│   │   ├── aarch32
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── exIPC.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   ├── aarch64
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── exIPC.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   ├── arm_hyp
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── exIPC.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   ├── ia32
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── exIPC.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── pfIPC.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   ├── riscv32
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   ├── riscv64
│   │   │   ├── interfaces
│   │   │   │   └── sel4arch.xml
│   │   │   └── sel4
│   │   │       └── sel4_arch
│   │   │           ├── constants.h
│   │   │           ├── deprecated.h
│   │   │           ├── faults.h
│   │   │           ├── mapping.h
│   │   │           ├── objecttype.h
│   │   │           ├── simple_types.h
│   │   │           ├── syscalls.h
│   │   │           ├── types.bf
│   │   │           └── types.h
│   │   └── x86_64
│   │       ├── interfaces
│   │       │   └── sel4arch.xml
│   │       └── sel4
│   │           └── sel4_arch
│   │               ├── constants.h
│   │               ├── deprecated.h
│   │               ├── exIPC.h
│   │               ├── faults.h
│   │               ├── mapping.h
│   │               ├── objecttype.h
│   │               ├── pfIPC.h
│   │               ├── simple_types.h
│   │               ├── syscalls.h
│   │               ├── syscalls_syscall.h
│   │               ├── syscalls_sysenter.h
│   │               ├── types.bf
│   │               └── types.h
│   ├── sel4_plat_include
│   │   ├── allwinnerA20
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── am335x
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── apq8064
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── ariane
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── bcm2711
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── bcm2837
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── exynos4
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── exynos5
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── exynos_common
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── fvp
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── hifive
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── hikey
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── imx6
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── imx7
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── imx8mm-evk
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── imx8mq-evk
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── maaxboard
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── odroidc2
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── odroidc4
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── omap3
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── pc99
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── polarfire
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── qemu-arm-virt
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── rocketchip
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── rockpro64
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── spike
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── tk1
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── tqma8xqp1gb
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── tx1
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── tx2
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   ├── zynq7000
│   │   │   └── sel4
│   │   │       └── plat
│   │   │           └── api
│   │   │               └── constants.h
│   │   └── zynqmp
│   │       └── sel4
│   │           └── plat
│   │               └── api
│   │                   └── constants.h
│   ├── src
│   │   └── sel4_bootinfo.c
│   └── tools
│       ├── bitfield_gen.py
│       ├── changed.sh
│       ├── condition.py
│       ├── __init__.py
│       ├── invocation_header_gen.py
│       ├── loader
│       │   └── __init__.py
│       ├── __pycache__
│       │   ├── condition.cpython-38.pyc
│       │   └── condition.cpython-39.pyc
│       ├── sel4_idl.xsd
│       ├── syscall_header_gen.py
│       ├── syscall_stub_gen.py
│       ├── syscall_stub_gen_rs.py
│       └── xmllint.sh
├── LICENSE.md
├── LICENSES
│   ├── Apache-2.0.txt
│   ├── 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
│   ├── LicenseRef-Trademark.txt
│   ├── LPPL-1.3c.txt
│   ├── MIT.txt
│   └── SHL-0.51.txt
├── llvm.cmake
├── manual
│   ├── Doxyfile
│   ├── export.bst
│   ├── extra.bib
│   ├── figs
│   │   ├── CDT.graffle
│   │   ├── CDT.pdf
│   │   ├── fig1-1.pdf
│   │   ├── fig1-1.svg
│   │   ├── fig1-2.pdf
│   │   ├── fig1-2.svg
│   │   ├── fig1-3.pdf
│   │   ├── fig1-3.svg
│   │   ├── fig1-4.pdf
│   │   ├── fig1-4.svg
│   │   ├── fig2-1.pdf
│   │   └── fig2-1.svg
│   ├── logos
│   │   ├── blacktriangle.pdf
│   │   ├── blacktriangle.pdf.license
│   │   ├── seL4-Foundation-logo.pdf
│   │   └── seL4-Foundation-logo.pdf.license
│   ├── Makefile
│   ├── manual.tex
│   ├── parts
│   │   ├── api
│   │   │   ├── debug_halt.tex
│   │   │   └── debug_putchar.tex
│   │   ├── api.tex
│   │   ├── bootup.tex
│   │   ├── cspace.tex
│   │   ├── intro.tex
│   │   ├── io.tex
│   │   ├── ipc.tex
│   │   ├── notifications.tex
│   │   ├── objects.tex
│   │   ├── threads.tex
│   │   └── vspace.tex
│   ├── README.md
│   ├── references.bib
│   ├── sel4.sty
│   ├── tools
│   │   ├── gen_env.py
│   │   ├── gen_invocations.py
│   │   ├── libsel4_tools
│   │   │   ├── bitfield_gen.py
│   │   │   ├── changed.sh
│   │   │   ├── condition.py
│   │   │   ├── __init__.py
│   │   │   ├── invocation_header_gen.py
│   │   │   ├── loader
│   │   │   │   └── __init__.py
│   │   │   ├── sel4_idl.xsd
│   │   │   ├── syscall_header_gen.py
│   │   │   ├── syscall_stub_gen.py
│   │   │   ├── syscall_stub_gen_rs.py
│   │   │   └── xmllint.sh
│   │   └── parse_doxygen_xml.py
│   └── VERSION
├── README.md
├── SECURITY.md
├── src
│   ├── api
│   │   ├── faults.c
│   │   └── syscall.c
│   ├── arch
│   │   ├── arm
│   │   │   ├── 32
│   │   │   │   ├── config.cmake
│   │   │   │   ├── c_traps.c
│   │   │   │   ├── head.S
│   │   │   │   ├── hyp_traps.S
│   │   │   │   ├── idle.c
│   │   │   │   ├── kernel
│   │   │   │   │   ├── thread.c
│   │   │   │   │   └── vspace.c
│   │   │   │   ├── machine
│   │   │   │   │   ├── capdl.c
│   │   │   │   │   ├── fpu.c
│   │   │   │   │   └── registerset.c
│   │   │   │   ├── model
│   │   │   │   │   └── statedata.c
│   │   │   │   ├── object
│   │   │   │   │   └── objecttype.c
│   │   │   │   └── traps.S
│   │   │   ├── 64
│   │   │   │   ├── config.cmake
│   │   │   │   ├── c_traps.c
│   │   │   │   ├── head.S
│   │   │   │   ├── idle.c
│   │   │   │   ├── kernel
│   │   │   │   │   ├── thread.c
│   │   │   │   │   └── vspace.c
│   │   │   │   ├── machine
│   │   │   │   │   ├── capdl.c
│   │   │   │   │   ├── fpu.c
│   │   │   │   │   └── registerset.c
│   │   │   │   ├── model
│   │   │   │   │   └── statedata.c
│   │   │   │   ├── object
│   │   │   │   │   └── objecttype.c
│   │   │   │   └── traps.S
│   │   │   ├── api
│   │   │   │   └── faults.c
│   │   │   ├── armv
│   │   │   │   ├── armv7-a
│   │   │   │   │   ├── cache.c
│   │   │   │   │   ├── config.cmake
│   │   │   │   │   ├── machine_asm.S
│   │   │   │   │   ├── tlb.c
│   │   │   │   │   └── user_access.c
│   │   │   │   └── armv8-a
│   │   │   │       ├── 32
│   │   │   │       │   ├── cache.c
│   │   │   │       │   ├── machine_asm.S
│   │   │   │       │   └── user_access.c
│   │   │   │       ├── 64
│   │   │   │       │   ├── cache.c
│   │   │   │       │   ├── machine_asm.S
│   │   │   │       │   └── user_access.c
│   │   │   │       └── config.cmake
│   │   │   ├── benchmark
│   │   │   │   └── benchmark.c
│   │   │   ├── common_arm.lds
│   │   │   ├── config.cmake
│   │   │   ├── c_traps.c
│   │   │   ├── kernel
│   │   │   │   ├── boot.c
│   │   │   │   └── thread.c
│   │   │   ├── machine
│   │   │   │   ├── cache.c
│   │   │   │   ├── debug.c
│   │   │   │   ├── errata.c
│   │   │   │   ├── gic_v2.c
│   │   │   │   ├── gic_v3.c
│   │   │   │   ├── hardware.c
│   │   │   │   ├── io.c
│   │   │   │   ├── l2c_310.c
│   │   │   │   └── l2c_nop.c
│   │   │   ├── object
│   │   │   │   ├── interrupt.c
│   │   │   │   ├── iospace.c
│   │   │   │   ├── smmu.c
│   │   │   │   ├── tcb.c
│   │   │   │   └── vcpu.c
│   │   │   ├── platform_gen.h.in
│   │   │   └── smp
│   │   │       └── ipi.c
│   │   ├── riscv
│   │   │   ├── api
│   │   │   │   ├── benchmark.c
│   │   │   │   └── faults.c
│   │   │   ├── common_riscv.lds
│   │   │   ├── config.cmake
│   │   │   ├── c_traps.c
│   │   │   ├── head.S
│   │   │   ├── idle.c
│   │   │   ├── kernel
│   │   │   │   ├── boot.c
│   │   │   │   ├── thread.c
│   │   │   │   └── vspace.c
│   │   │   ├── machine
│   │   │   │   ├── capdl.c
│   │   │   │   ├── fpu.c
│   │   │   │   ├── hardware.c
│   │   │   │   ├── io.c
│   │   │   │   └── registerset.c
│   │   │   ├── model
│   │   │   │   └── statedata.c
│   │   │   ├── object
│   │   │   │   ├── interrupt.c
│   │   │   │   ├── objecttype.c
│   │   │   │   └── tcb.c
│   │   │   ├── platform_gen.h.in
│   │   │   ├── smp
│   │   │   │   └── ipi.c
│   │   │   └── traps.S
│   │   └── x86
│   │       ├── 32
│   │       │   ├── config.cmake
│   │       │   ├── c_traps.c
│   │       │   ├── head.S
│   │       │   ├── kernel
│   │       │   │   ├── elf.c
│   │       │   │   ├── thread.c
│   │       │   │   ├── vspace_32paging.c
│   │       │   │   └── vspace.c
│   │       │   ├── machine
│   │       │   │   ├── capdl.c
│   │       │   │   └── registerset.c
│   │       │   ├── machine_asm.S
│   │       │   ├── model
│   │       │   │   └── statedata.c
│   │       │   ├── object
│   │       │   │   └── objecttype.c
│   │       │   ├── smp
│   │       │   │   └── ipi.c
│   │       │   └── traps.S
│   │       ├── 64
│   │       │   ├── config.cmake
│   │       │   ├── c_traps.c
│   │       │   ├── head.S
│   │       │   ├── kernel
│   │       │   │   ├── elf.c
│   │       │   │   ├── thread.c
│   │       │   │   └── vspace.c
│   │       │   ├── machine
│   │       │   │   ├── capdl.c
│   │       │   │   └── registerset.c
│   │       │   ├── machine_asm.S
│   │       │   ├── model
│   │       │   │   ├── smp.c
│   │       │   │   └── statedata.c
│   │       │   ├── object
│   │       │   │   └── objecttype.c
│   │       │   ├── smp
│   │       │   │   └── ipi.c
│   │       │   └── traps.S
│   │       ├── api
│   │       │   └── faults.c
│   │       ├── benchmark
│   │       │   └── benchmark.c
│   │       ├── config.cmake
│   │       ├── c_traps.c
│   │       ├── idle.c
│   │       ├── kernel
│   │       │   ├── apic.c
│   │       │   ├── boot.c
│   │       │   ├── boot_sys.c
│   │       │   ├── cmdline.c
│   │       │   ├── ept.c
│   │       │   ├── smp_sys.c
│   │       │   ├── thread.c
│   │       │   ├── vspace.c
│   │       │   ├── x2apic.c
│   │       │   └── xapic.c
│   │       ├── machine
│   │       │   ├── breakpoint.c
│   │       │   ├── capdl.c
│   │       │   ├── cpu_identification.c
│   │       │   ├── fpu.c
│   │       │   ├── hardware.c
│   │       │   └── registerset.c
│   │       ├── model
│   │       │   └── statedata.c
│   │       ├── multiboot.S
│   │       ├── object
│   │       │   ├── interrupt.c
│   │       │   ├── ioport.c
│   │       │   ├── iospace.c
│   │       │   ├── objecttype.c
│   │       │   ├── tcb.c
│   │       │   └── vcpu.c
│   │       └── smp
│   │           └── ipi.c
│   ├── assert.c
│   ├── benchmark
│   │   ├── benchmark.c
│   │   ├── benchmark_track.c
│   │   └── benchmark_utilisation.c
│   ├── config
│   │   └── default_domain.c
│   ├── config.cmake
│   ├── drivers
│   │   ├── config.cmake
│   │   ├── serial
│   │   │   ├── bcm2835-aux-uart.c
│   │   │   ├── config.cmake
│   │   │   ├── exynos4210-uart.c
│   │   │   ├── imx.c
│   │   │   ├── imx-lpuart.c
│   │   │   ├── meson-gx-uart.c
│   │   │   ├── msm-uartdm.c
│   │   │   ├── pl011.c
│   │   │   ├── tegra_omap3_dwapb.c
│   │   │   └── xuartps.c
│   │   ├── smmu
│   │   │   ├── config.cmake
│   │   │   └── smmuv2.c
│   │   └── timer
│   │       ├── am335x-timer.c
│   │       ├── config.cmake
│   │       ├── exynos4210-mct.c
│   │       ├── exynos4412-mct.c
│   │       ├── generic_timer.c
│   │       ├── global_timer.c
│   │       ├── kpss-timer.c
│   │       ├── omap3430-timer.c
│   │       └── priv_timer.c
│   ├── fastpath
│   │   └── fastpath.c
│   ├── inlines.c
│   ├── kernel
│   │   ├── boot.c
│   │   ├── cspace.c
│   │   ├── faulthandler.c
│   │   ├── sporadic.c
│   │   ├── stack.c
│   │   ├── thread.c
│   │   └── trace.c
│   ├── machine
│   │   ├── capdl.c
│   │   ├── fpu.c
│   │   ├── io.c
│   │   ├── profiler.c
│   │   └── registerset.c
│   ├── model
│   │   ├── preemption.c
│   │   ├── smp.c
│   │   └── statedata.c
│   ├── object
│   │   ├── cnode.c
│   │   ├── endpoint.c
│   │   ├── interrupt.c
│   │   ├── notification.c
│   │   ├── objecttype.c
│   │   ├── reply.c
│   │   ├── schedcontext.c
│   │   ├── schedcontrol.c
│   │   ├── tcb.c
│   │   └── untyped.c
│   ├── plat
│   │   ├── allwinnerA20
│   │   │   ├── config.cmake
│   │   │   ├── machine
│   │   │   │   └── l2cache.c
│   │   │   └── overlay-allwinnerA20.dts
│   │   ├── am335x
│   │   │   ├── config.cmake
│   │   │   ├── machine
│   │   │   │   ├── hardware.c
│   │   │   │   └── l2cache.c
│   │   │   ├── overlay-am335x-boneblack.dts
│   │   │   └── overlay-am335x.dts
│   │   ├── apq8064
│   │   │   ├── config.cmake
│   │   │   └── overlay-apq8064.dts
│   │   ├── ariane
│   │   │   ├── config.cmake
│   │   │   └── overlay-ariane.dts
│   │   ├── bcm2711
│   │   │   ├── config.cmake
│   │   │   ├── overlay-rpi4-address-mapping.dts
│   │   │   └── overlay-rpi4.dts
│   │   ├── bcm2837
│   │   │   ├── config.cmake
│   │   │   ├── machine
│   │   │   │   └── intc.c
│   │   │   └── overlay-rpi3.dts
│   │   ├── exynos4
│   │   │   ├── config.cmake
│   │   │   └── overlay-exynos4.dts
│   │   ├── exynos5
│   │   │   ├── config.cmake
│   │   │   ├── overlay-exynos5250.dts
│   │   │   ├── overlay-exynos5410.dts
│   │   │   └── overlay-exynos5422.dts
│   │   ├── fvp
│   │   │   ├── config.cmake
│   │   │   └── overlay-fvp.dts
│   │   ├── hifive
│   │   │   ├── config.cmake
│   │   │   └── overlay-hifive.dts
│   │   ├── hikey
│   │   │   ├── config.cmake
│   │   │   └── overlay-hikey.dts
│   │   ├── imx6
│   │   │   ├── config.cmake
│   │   │   ├── mcs-overlay-imx6.dts
│   │   │   ├── mcs-overlay-nitrogen6sx.dts
│   │   │   ├── overlay-nitrogen6sx.dts
│   │   │   ├── overlay-sabre.dts
│   │   │   └── overlay-wandq.dts
│   │   ├── imx7
│   │   │   ├── config.cmake
│   │   │   └── overlay-imx7sabre.dts
│   │   ├── imx8m-evk
│   │   │   ├── config.cmake
│   │   │   ├── overlay-imx8m-32bit.dts
│   │   │   ├── overlay-imx8mm-evk.dts
│   │   │   └── overlay-imx8mq-evk.dts
│   │   ├── maaxboard
│   │   │   ├── config.cmake
│   │   │   ├── overlay-maaxboard-32bit.dts
│   │   │   └── overlay-maaxboard.dts
│   │   ├── odroidc2
│   │   │   ├── config.cmake
│   │   │   └── overlay-odroidc2.dts
│   │   ├── odroidc4
│   │   │   ├── config.cmake
│   │   │   └── overlay-odroidc4.dts
│   │   ├── omap3
│   │   │   ├── config.cmake
│   │   │   ├── machine
│   │   │   │   ├── hardware.c
│   │   │   │   └── l2cache.c
│   │   │   └── overlay-omap3.dts
│   │   ├── pc99
│   │   │   ├── config.cmake
│   │   │   ├── linker.lds
│   │   │   └── machine
│   │   │       ├── acpi.c
│   │   │       ├── hardware.c
│   │   │       ├── intel-vtd.c
│   │   │       ├── ioapic.c
│   │   │       ├── io.c
│   │   │       ├── pic.c
│   │   │       └── pit.c
│   │   ├── polarfire
│   │   │   ├── config.cmake
│   │   │   └── overlay-polarfire.dts
│   │   ├── qemu-arm-virt
│   │   │   ├── config.cmake
│   │   │   ├── overlay-qemu-arm-virt.dts
│   │   │   └── overlay-reserve-vm-memory.dts
│   │   ├── rocketchip
│   │   │   └── config.cmake
│   │   ├── rockpro64
│   │   │   ├── config.cmake
│   │   │   └── overlay-rockpro64.dts
│   │   ├── spike
│   │   │   └── config.cmake
│   │   ├── tk1
│   │   │   ├── config.cmake
│   │   │   ├── machine
│   │   │   │   └── smmu.c
│   │   │   └── overlay-tk1.dts
│   │   ├── tqma8xqp1gb
│   │   │   ├── config.cmake
│   │   │   └── overlay-tqma8xqp1gb.dts
│   │   ├── tx1
│   │   │   ├── config.cmake
│   │   │   └── overlay-tx1.dts
│   │   ├── tx2
│   │   │   ├── config.cmake
│   │   │   └── overlay-tx2.dts
│   │   ├── zynq7000
│   │   │   ├── config.cmake
│   │   │   ├── mcs-overlay-zynq7000.dts
│   │   │   └── overlay-zynq7000.dts
│   │   └── zynqmp
│   │       ├── config.cmake
│   │       ├── overlay-hs-zynqmp.dts
│   │       ├── overlay-zynqmp32.dts
│   │       └── overlay-zynqmp.dts
│   ├── smp
│   │   ├── ipi.c
│   │   └── lock.c
│   ├── string.c
│   └── util.c
├── tools
│   ├── bf.vim
│   ├── bitfield_gen.py
│   ├── changed.sh
│   ├── circular_includes.py
│   ├── condition.py
│   ├── cpp_gen.sh
│   ├── dts
│   │   ├── allwinnerA20.dts
│   │   ├── am335x-boneblack.dts
│   │   ├── am335x-boneblue.dts
│   │   ├── am335x-bone.dts
│   │   ├── apq8064.dts
│   │   ├── ariane.dts
│   │   ├── exynos4.dts
│   │   ├── exynos5250.dts
│   │   ├── exynos5410.dts
│   │   ├── exynos5422.dts
│   │   ├── fvp.dts
│   │   ├── hifive.dts
│   │   ├── hikey.dts
│   │   ├── imx7sabre.dts
│   │   ├── imx8mm-evk.dts
│   │   ├── imx8mq-evk.dts
│   │   ├── maaxboard.dts
│   │   ├── mpfs_icicle.dts
│   │   ├── nitrogen6sx.dts
│   │   ├── odroidc2.dts
│   │   ├── odroidc4.dts
│   │   ├── omap3.dts
│   │   ├── rocketchip.dts
│   │   ├── rockpro64.dts
│   │   ├── rpi3.dts
│   │   ├── rpi4.dts
│   │   ├── sabre.dts
│   │   ├── spike32.dts
│   │   ├── spike.dts
│   │   ├── tk1.dts
│   │   ├── tqma8xqp1gb.dts
│   │   ├── tx1.dts
│   │   ├── tx2.dts
│   │   ├── ultra96.dts
│   │   ├── ultra96v2.dts
│   │   ├── update-dts.sh
│   │   ├── wandq.dts
│   │   ├── zynq7000.dts
│   │   └── zynqmp.dts
│   ├── flags.cmake
│   ├── hardware
│   │   ├── config.py
│   │   ├── device.py
│   │   ├── fdt.py
│   │   ├── __init__.py
│   │   ├── irq.py
│   │   ├── memory.py
│   │   ├── outputs
│   │   │   ├── c_header.py
│   │   │   ├── compat_strings.py
│   │   │   ├── elfloader.py
│   │   │   ├── __init__.py
│   │   │   ├── __pycache__
│   │   │   │   ├── c_header.cpython-38.pyc
│   │   │   │   ├── c_header.cpython-39.pyc
│   │   │   │   ├── compat_strings.cpython-38.pyc
│   │   │   │   ├── compat_strings.cpython-39.pyc
│   │   │   │   ├── elfloader.cpython-38.pyc
│   │   │   │   ├── elfloader.cpython-39.pyc
│   │   │   │   ├── __init__.cpython-38.pyc
│   │   │   │   ├── __init__.cpython-39.pyc
│   │   │   │   ├── yaml.cpython-38.pyc
│   │   │   │   └── yaml.cpython-39.pyc
│   │   │   └── yaml.py
│   │   ├── __pycache__
│   │   │   ├── config.cpython-38.pyc
│   │   │   ├── config.cpython-39.pyc
│   │   │   ├── device.cpython-38.pyc
│   │   │   ├── device.cpython-39.pyc
│   │   │   ├── fdt.cpython-38.pyc
│   │   │   ├── fdt.cpython-39.pyc
│   │   │   ├── __init__.cpython-38.pyc
│   │   │   ├── __init__.cpython-39.pyc
│   │   │   ├── irq.cpython-38.pyc
│   │   │   ├── irq.cpython-39.pyc
│   │   │   ├── memory.cpython-38.pyc
│   │   │   └── memory.cpython-39.pyc
│   │   └── utils
│   │       ├── cpu.py
│   │       ├── __init__.py
│   │       ├── memory.py
│   │       ├── __pycache__
│   │       │   ├── cpu.cpython-38.pyc
│   │       │   ├── cpu.cpython-39.pyc
│   │       │   ├── __init__.cpython-38.pyc
│   │       │   ├── __init__.cpython-39.pyc
│   │       │   ├── memory.cpython-38.pyc
│   │       │   ├── memory.cpython-39.pyc
│   │       │   ├── rule.cpython-38.pyc
│   │       │   └── rule.cpython-39.pyc
│   │       └── rule.py
│   ├── hardware_gen.py
│   ├── hardware_schema.yml
│   ├── hardware.yml
│   ├── helpers.cmake
│   ├── internal.cmake
│   ├── invocation_header_gen.py
│   ├── kernel_pylint.sh
│   ├── kernel_xmllint.sh
│   ├── lex.py
│   ├── __pycache__
│   │   ├── condition.cpython-38.pyc
│   │   ├── condition.cpython-39.pyc
│   │   ├── lex.cpython-38.pyc
│   │   ├── lex.cpython-39.pyc
│   │   ├── umm.cpython-38.pyc
│   │   └── umm.cpython-39.pyc
│   ├── pylintrc
│   ├── python-deps
│   │   ├── README.rst
│   │   └── setup.py
│   ├── reciprocal.py
│   ├── syscall_header_gen.py
│   ├── umm.py
│   └── xmllint.sh
└── VERSION

423 directories, 1002 files