├── .github └── workflows │ ├── camkes-deploy.yml │ ├── pr.yml │ ├── push.yml │ ├── test.yml │ ├── trigger.yml │ ├── unit.yml │ └── vm-test.yml ├── .gitignore ├── .licenseignore ├── .linkcheck-ignore.yml ├── .reuse └── dep5 ├── .stylefilter ├── CHANGES.md ├── CMakeLists.txt ├── Findcamkes-tool.cmake ├── LICENSES ├── BSD-2-Clause.txt ├── CC-BY-SA-4.0.txt └── GPL-2.0-only.txt ├── README.md ├── VERSION ├── alltests.py ├── camkes-top-level.cmake ├── camkes.cmake ├── camkes ├── __init__.py ├── ast │ ├── __init__.py │ ├── base.py │ ├── ckeywords.py │ ├── exception.py │ ├── liftedast.py │ ├── location.py │ ├── objects.py │ ├── tests │ │ ├── __init__.py │ │ ├── lint.py │ │ ├── lintsource.py │ │ ├── testckeywords.py │ │ ├── testhashing.py │ │ └── testobjects.py │ ├── traversal.py │ └── type.py ├── internal │ ├── Counter.py │ ├── __init__.py │ ├── dictutils.py │ ├── exception.py │ ├── frozendict.py │ ├── hash.py │ ├── isabelle_symbols.py │ ├── isinstancefallback.py │ ├── log.py │ ├── memoization.py │ ├── seven.py │ ├── strhash.py │ ├── terminal.py │ └── tests │ │ ├── __init__.py │ │ ├── lint.py │ │ ├── lintsource.py │ │ ├── testfrozendict.py │ │ ├── teststrhash.py │ │ └── utils.py ├── parser │ ├── __init__.py │ ├── __main__.py │ ├── base.py │ ├── camkes.g │ ├── exception.py │ ├── fdtQueryEngine.py │ ├── gpioQueryEngine.py │ ├── parser.py │ ├── query.py │ ├── scope.py │ ├── stage0.py │ ├── stage1.py │ ├── stage10.py │ ├── stage2.py │ ├── stage3.py │ ├── stage4.py │ ├── stage5.py │ ├── stage6.py │ ├── stage7.py │ ├── stage8.py │ ├── stage9.py │ └── tests │ │ ├── README.md │ │ ├── __init__.py │ │ ├── bad-at-s10 │ │ ├── attribute-reference.camkes │ │ ├── backwards-connection.camkes │ │ ├── disconnected-interface.camkes │ │ ├── empty-assembly.camkes │ │ ├── keyword-method.camkes │ │ ├── keyword-parameter.camkes │ │ ├── mismatched-events.camkes │ │ ├── multiply-connected-interface.camkes │ │ └── üñíçòďɛ ∫ïlěńáṁê.camkes │ │ ├── bad-at-s4 │ │ ├── duplicate-parameter.camkes │ │ ├── invalid-interface-reference.camkes │ │ └── multiple-assemblies.camkes │ │ ├── bad-at-s6 │ │ ├── basic-export.camkes │ │ ├── basic.camkes │ │ ├── camkes-hardware.camkes │ │ ├── camkes-hardware.idl4 │ │ ├── control-and-hardware.camkes │ │ ├── custom-type.camkes │ │ ├── empty-component.camkes │ │ ├── empty-composition.camkes │ │ ├── empty-configuration.camkes │ │ ├── empty-group.camkes │ │ ├── empty-named-group.camkes │ │ ├── empty-procedure.camkes │ │ ├── empty.camkes │ │ ├── gdb-delegate.camkes │ │ ├── hardware-component.camkes │ │ ├── int-function.camkes │ │ ├── std_connector.camkes │ │ ├── struct-type.camkes │ │ ├── unsigned-char.camkes │ │ ├── unsigned-int-function.camkes │ │ ├── unsigned-int-function1.camkes │ │ └── unsigned-int-function2.camkes │ │ ├── good │ │ ├── dataport-example.camkes │ │ ├── dtb.camkes │ │ ├── event-example.camkes │ │ ├── full-system-basic.camkes │ │ ├── full-system-default-parameter-directions.camkes │ │ ├── full-system-multiple-conn-ends.camkes │ │ ├── multiple-ends.camkes │ │ ├── self-import.camkes │ │ ├── signed.camkes │ │ └── unsigned.camkes │ │ ├── lint.py │ │ ├── lintsource.py │ │ ├── test.dtb │ │ ├── test.dts │ │ ├── test_rpi4.dtb │ │ ├── test_rpi4.dtb.license │ │ ├── test_rpi4.dts │ │ ├── testcpp.py │ │ ├── testdtbmatchquery.py │ │ ├── testdtbmatchquery_rpi4.py │ │ ├── testexamples.py │ │ ├── testobjects.py │ │ ├── testreader.py │ │ ├── teststage1.py │ │ ├── teststage10.py │ │ ├── teststage2.py │ │ ├── teststage3.py │ │ ├── teststage4.py │ │ ├── teststage5.py │ │ ├── teststage6.py │ │ ├── teststage7.py │ │ ├── teststage8.py │ │ └── teststage9.py ├── runner │ ├── Context.py │ ├── Renderer.py │ ├── __init__.py │ ├── __main__.py │ └── tests │ │ ├── __init__.py │ │ ├── lint.py │ │ └── lintsource.py ├── templates │ ├── __init__.py │ ├── arch-definitions.thy │ ├── arch_helpers.py │ ├── camkes-gen.cmake │ ├── camkesConstants.sml │ ├── capdl-spec.cdl │ ├── cdl-refine.thy │ ├── cimp-base.thy │ ├── component.common.c │ ├── component.debug.c │ ├── component.environment.c │ ├── component.environment.end.cakeml │ ├── component.environment.start.cakeml │ ├── component.rumprun.c │ ├── component.simple.c │ ├── component.template.c │ ├── component.template.h │ ├── dtb-query-common.template.c │ ├── exception.py │ ├── graph.dot │ ├── helpers │ │ ├── error.c │ │ └── marshal.c │ ├── linker.lds │ ├── macros.py │ ├── root.thy │ ├── rpc-connector-common-from.c │ ├── rpc-connector-common-to.c │ ├── rpc-connector.c │ ├── seL4DMASharedData.template.c │ ├── seL4DTBHardware-from.template.c │ ├── seL4DTBHardware-to.template.c │ ├── seL4DirectCall-from.template.c │ ├── seL4DirectCall-to.template.c │ ├── seL4GDB-from.template.c │ ├── seL4GDB-to.template.c │ ├── seL4GDBMem-from.template.c │ ├── seL4GDBMem-to.template.c │ ├── seL4HardwareIOPort.template.c │ ├── seL4HardwareInterrupt.template.c │ ├── seL4HardwareMMIO.template.c │ ├── seL4IOAPICHardwareInterrupt.template.c │ ├── seL4InitHardware-from.template.c │ ├── seL4InitHardware-to.template.c │ ├── seL4Notification-from.template.c │ ├── seL4Notification-to.template.c │ ├── seL4NotificationBind-from.template.c │ ├── seL4NotificationBind-to.template.c │ ├── seL4NotificationNative-from.template.c │ ├── seL4NotificationNative-to.template.c │ ├── seL4NotificationQueue-from.template.c │ ├── seL4NotificationQueue-to.template.c │ ├── seL4RPCCall-from.template.c │ ├── seL4RPCCall-to.template.c │ ├── seL4RPCCall-to.template.cakeml │ ├── seL4SharedData.template.c │ ├── templates.cmake │ └── tests │ │ ├── __init__.py │ │ ├── jinja_lint.py │ │ ├── jinja_pylint.py │ │ ├── lint.py │ │ ├── lintsource.py │ │ ├── sel4notification.pml │ │ ├── testbadidioms.py │ │ ├── testmacros.py │ │ └── testsel4_notification.py └── visualCAmkES │ ├── Assests │ └── VisualCAmkES.png │ ├── Controller │ ├── __init__.py │ └── graph_controller.py │ ├── Interface │ ├── Property.py │ └── __init__.py │ ├── Model │ ├── AST_Model.py │ ├── Common.py │ └── __init__.py │ ├── README.md │ ├── View │ ├── Connection_Property_Widget.py │ ├── Connection_Widget.py │ ├── Graph_Widget.py │ ├── Instance_Property_Widget.py │ ├── Instance_Widget.py │ ├── Save_Option_Dialog.py │ └── __init__.py │ ├── __init__.py │ ├── __main__.py │ └── testvisualcamkes.py ├── cdl-refine-tests ├── README.md └── run_tests ├── components ├── README.md ├── arch │ ├── arm │ │ └── arch │ │ │ ├── serial.camkes │ │ │ └── timers.camkes │ ├── riscv │ │ └── arch │ │ │ └── timers.camkes │ └── x86 │ │ └── arch │ │ ├── serial.camkes │ │ └── timers.camkes ├── components.cmake ├── plat │ └── pc99 │ │ └── plat │ │ ├── CMakeLists.txt │ │ ├── components │ │ ├── serial_com1 │ │ │ └── SerialCom.camkes │ │ ├── serial_com2 │ │ │ └── SerialCom.camkes │ │ ├── serial_com3 │ │ │ └── SerialCom.camkes │ │ └── serial_com4 │ │ │ └── SerialCom.camkes │ │ ├── serial.camkes │ │ └── timers.camkes ├── serial.camkes └── timers.camkes ├── docs ├── .gitignore ├── DEBUG.md ├── Makefile ├── generate-diagrams.py ├── imgs │ ├── assembly.png │ ├── attribute.png │ ├── component.png │ ├── composition.png │ ├── connection.png │ ├── dataport.png │ ├── direction.png │ ├── echo.svg │ ├── event.png │ ├── instance.png │ ├── method.png │ ├── parameter.png │ ├── procedure.png │ ├── setting.png │ └── type.png └── index.md ├── examples ├── direct-ast-access │ └── example-import.py └── traversal │ └── visit.py ├── include ├── README └── builtin │ ├── camkes-hardware.idl4 │ ├── gdb-delegate.camkes │ └── std_connector.camkes ├── libcamkescakeml ├── CMakeLists.txt └── src │ ├── args.c │ ├── camkes_init.c │ ├── exit.c │ ├── io.c │ ├── ipc.c │ └── virtqueue.c ├── libsel4camkes ├── CMakeLists.txt ├── README.md ├── docs │ ├── allocator.md │ ├── dataport.md │ ├── dma.md │ ├── error.md │ ├── fault.md │ ├── init.md │ ├── marshall_macros.md │ ├── msgqueue.md │ ├── pid.md │ ├── ps_io_ops_t.md │ ├── syscalls.md │ ├── timing.md │ ├── tls.md │ ├── virtqueue.md │ └── vma.md ├── include │ └── camkes │ │ ├── allocator.h │ │ ├── dataport.h │ │ ├── dataport_caps.h │ │ ├── debug.h │ │ ├── dma.h │ │ ├── error.h │ │ ├── fault.h │ │ ├── gdb │ │ ├── adl.h │ │ ├── delegate_types.h │ │ ├── gdb.h │ │ └── serial.h │ │ ├── init.h │ │ ├── interface_registration.h │ │ ├── io.h │ │ ├── irq.h │ │ ├── marshal_macros.h │ │ ├── msgqueue.h │ │ ├── msgqueue_template.h │ │ ├── pid.h │ │ ├── sync.h │ │ ├── syscalls.h │ │ ├── timing.h │ │ ├── tls.h │ │ ├── virtqueue.h │ │ ├── virtqueue_template.h │ │ └── vma.h └── src │ ├── allocator.c │ ├── arch │ ├── arm │ │ ├── dataport.c │ │ └── io.c │ ├── riscv │ │ ├── crt0.S │ │ ├── dataport.c │ │ ├── io.c │ │ └── unknown_syscall_fault.c │ └── x86 │ │ ├── dataport.c │ │ └── io.c │ ├── arch_fault.h │ ├── arch_include │ └── camkes │ │ └── arch │ │ ├── dataport.h │ │ └── io.h │ ├── dataport.c │ ├── dma.c │ ├── error.c │ ├── fault.c │ ├── interface_registration.c │ ├── io.c │ ├── irq.c │ ├── msgqueue.c │ ├── msgqueue_template.c │ ├── sel4_arch │ ├── aarch32 │ │ ├── crt0.S │ │ ├── memset.c │ │ └── unknown_syscall_fault.c │ ├── aarch64 │ │ ├── crt0.S │ │ ├── memset.c │ │ └── unknown_syscall_fault.c │ ├── ia32 │ │ ├── crt0.S │ │ ├── gdb_server │ │ │ ├── gdb.c │ │ │ └── serial.c │ │ └── unknown_syscall_fault.c │ └── x86_64 │ │ ├── crt0.S │ │ └── unknown_syscall_fault.c │ ├── start.c │ ├── sync.c │ ├── sys_clock.c │ ├── sys_exit.c │ ├── sys_io.c │ ├── sys_io.h │ ├── sys_madvise.c │ ├── sys_pause.c │ ├── sys_select.c │ ├── sys_signal.c │ ├── sys_socket.c │ ├── sys_thread.c │ ├── sys_uname.c │ ├── sys_yield.c │ ├── tls.c │ ├── tls.lds │ ├── virtqueue.c │ ├── virtqueue_common.c │ ├── virtqueue_common.h │ ├── virtqueue_template.c │ └── vsyscall.c ├── misc ├── camkes.nanorc └── camkes.vim └── tools ├── camkes_lint.py ├── camkes_scope.py ├── check_deps.py ├── ckeywords.c ├── cnode-size-playground.c ├── goanna_wrapper.py ├── jinja_lint.py ├── jinja_pylint.py ├── make_isabelle_symbols.py ├── python-deps ├── README.rst └── setup.py ├── sqlite-lint.c └── tpp /.github/workflows/camkes-deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/camkes-deploy.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.github/workflows/unit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/unit.yml -------------------------------------------------------------------------------- /.github/workflows/vm-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.github/workflows/vm-test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.gitignore -------------------------------------------------------------------------------- /.licenseignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.licenseignore -------------------------------------------------------------------------------- /.linkcheck-ignore.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.linkcheck-ignore.yml -------------------------------------------------------------------------------- /.reuse/dep5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.reuse/dep5 -------------------------------------------------------------------------------- /.stylefilter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/.stylefilter -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Findcamkes-tool.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/Findcamkes-tool.cmake -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /LICENSES/GPL-2.0-only.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/LICENSES/GPL-2.0-only.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | camkes-3.11.1-dev -------------------------------------------------------------------------------- /alltests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/alltests.py -------------------------------------------------------------------------------- /camkes-top-level.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes-top-level.cmake -------------------------------------------------------------------------------- /camkes.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes.cmake -------------------------------------------------------------------------------- /camkes/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/__init__.py -------------------------------------------------------------------------------- /camkes/ast/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/__init__.py -------------------------------------------------------------------------------- /camkes/ast/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/base.py -------------------------------------------------------------------------------- /camkes/ast/ckeywords.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/ckeywords.py -------------------------------------------------------------------------------- /camkes/ast/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/exception.py -------------------------------------------------------------------------------- /camkes/ast/liftedast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/liftedast.py -------------------------------------------------------------------------------- /camkes/ast/location.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/location.py -------------------------------------------------------------------------------- /camkes/ast/objects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/objects.py -------------------------------------------------------------------------------- /camkes/ast/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/__init__.py -------------------------------------------------------------------------------- /camkes/ast/tests/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/lint.py -------------------------------------------------------------------------------- /camkes/ast/tests/lintsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/lintsource.py -------------------------------------------------------------------------------- /camkes/ast/tests/testckeywords.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/testckeywords.py -------------------------------------------------------------------------------- /camkes/ast/tests/testhashing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/testhashing.py -------------------------------------------------------------------------------- /camkes/ast/tests/testobjects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/tests/testobjects.py -------------------------------------------------------------------------------- /camkes/ast/traversal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/traversal.py -------------------------------------------------------------------------------- /camkes/ast/type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/ast/type.py -------------------------------------------------------------------------------- /camkes/internal/Counter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/Counter.py -------------------------------------------------------------------------------- /camkes/internal/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/__init__.py -------------------------------------------------------------------------------- /camkes/internal/dictutils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/dictutils.py -------------------------------------------------------------------------------- /camkes/internal/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/exception.py -------------------------------------------------------------------------------- /camkes/internal/frozendict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/frozendict.py -------------------------------------------------------------------------------- /camkes/internal/hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/hash.py -------------------------------------------------------------------------------- /camkes/internal/isabelle_symbols.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/isabelle_symbols.py -------------------------------------------------------------------------------- /camkes/internal/isinstancefallback.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/isinstancefallback.py -------------------------------------------------------------------------------- /camkes/internal/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/log.py -------------------------------------------------------------------------------- /camkes/internal/memoization.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/memoization.py -------------------------------------------------------------------------------- /camkes/internal/seven.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/seven.py -------------------------------------------------------------------------------- /camkes/internal/strhash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/strhash.py -------------------------------------------------------------------------------- /camkes/internal/terminal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/terminal.py -------------------------------------------------------------------------------- /camkes/internal/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/__init__.py -------------------------------------------------------------------------------- /camkes/internal/tests/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/lint.py -------------------------------------------------------------------------------- /camkes/internal/tests/lintsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/lintsource.py -------------------------------------------------------------------------------- /camkes/internal/tests/testfrozendict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/testfrozendict.py -------------------------------------------------------------------------------- /camkes/internal/tests/teststrhash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/teststrhash.py -------------------------------------------------------------------------------- /camkes/internal/tests/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/internal/tests/utils.py -------------------------------------------------------------------------------- /camkes/parser/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/__init__.py -------------------------------------------------------------------------------- /camkes/parser/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/__main__.py -------------------------------------------------------------------------------- /camkes/parser/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/base.py -------------------------------------------------------------------------------- /camkes/parser/camkes.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/camkes.g -------------------------------------------------------------------------------- /camkes/parser/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/exception.py -------------------------------------------------------------------------------- /camkes/parser/fdtQueryEngine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/fdtQueryEngine.py -------------------------------------------------------------------------------- /camkes/parser/gpioQueryEngine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/gpioQueryEngine.py -------------------------------------------------------------------------------- /camkes/parser/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/parser.py -------------------------------------------------------------------------------- /camkes/parser/query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/query.py -------------------------------------------------------------------------------- /camkes/parser/scope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/scope.py -------------------------------------------------------------------------------- /camkes/parser/stage0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage0.py -------------------------------------------------------------------------------- /camkes/parser/stage1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage1.py -------------------------------------------------------------------------------- /camkes/parser/stage10.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage10.py -------------------------------------------------------------------------------- /camkes/parser/stage2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage2.py -------------------------------------------------------------------------------- /camkes/parser/stage3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage3.py -------------------------------------------------------------------------------- /camkes/parser/stage4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage4.py -------------------------------------------------------------------------------- /camkes/parser/stage5.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage5.py -------------------------------------------------------------------------------- /camkes/parser/stage6.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage6.py -------------------------------------------------------------------------------- /camkes/parser/stage7.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage7.py -------------------------------------------------------------------------------- /camkes/parser/stage8.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage8.py -------------------------------------------------------------------------------- /camkes/parser/stage9.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/stage9.py -------------------------------------------------------------------------------- /camkes/parser/tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/README.md -------------------------------------------------------------------------------- /camkes/parser/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/__init__.py -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/attribute-reference.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/attribute-reference.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/backwards-connection.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/backwards-connection.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/disconnected-interface.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/disconnected-interface.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/empty-assembly.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/empty-assembly.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/keyword-method.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/keyword-method.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/keyword-parameter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/keyword-parameter.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/mismatched-events.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/mismatched-events.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/multiply-connected-interface.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/multiply-connected-interface.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s10/üñíçòďɛ ∫ïlěńáṁê.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s10/üñíçòďɛ ∫ïlěńáṁê.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s4/duplicate-parameter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s4/duplicate-parameter.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s4/invalid-interface-reference.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s4/invalid-interface-reference.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s4/multiple-assemblies.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s4/multiple-assemblies.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/basic-export.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/basic-export.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/basic.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/basic.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/camkes-hardware.camkes: -------------------------------------------------------------------------------- 1 | ../../../../include/builtin/camkes-hardware.idl4 -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/camkes-hardware.idl4: -------------------------------------------------------------------------------- 1 | ../../../../include/builtin/camkes-hardware.idl4 -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/control-and-hardware.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/control-and-hardware.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/custom-type.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/custom-type.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-component.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-component.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-composition.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-composition.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-configuration.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-configuration.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-group.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-group.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-named-group.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-named-group.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty-procedure.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty-procedure.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/empty.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/empty.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/gdb-delegate.camkes: -------------------------------------------------------------------------------- 1 | ../../../../include/builtin/gdb-delegate.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/hardware-component.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/hardware-component.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/int-function.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/int-function.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/std_connector.camkes: -------------------------------------------------------------------------------- 1 | ../../../../include/builtin/std_connector.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/struct-type.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/struct-type.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/unsigned-char.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/unsigned-char.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/unsigned-int-function.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/unsigned-int-function.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/unsigned-int-function1.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/unsigned-int-function1.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/bad-at-s6/unsigned-int-function2.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/bad-at-s6/unsigned-int-function2.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/dataport-example.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/dataport-example.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/dtb.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/dtb.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/event-example.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/event-example.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/full-system-basic.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/full-system-basic.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/full-system-default-parameter-directions.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/full-system-default-parameter-directions.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/full-system-multiple-conn-ends.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/full-system-multiple-conn-ends.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/multiple-ends.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/multiple-ends.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/self-import.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/self-import.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/signed.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/signed.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/good/unsigned.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/good/unsigned.camkes -------------------------------------------------------------------------------- /camkes/parser/tests/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/lint.py -------------------------------------------------------------------------------- /camkes/parser/tests/lintsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/lintsource.py -------------------------------------------------------------------------------- /camkes/parser/tests/test.dtb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/test.dtb -------------------------------------------------------------------------------- /camkes/parser/tests/test.dts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/test.dts -------------------------------------------------------------------------------- /camkes/parser/tests/test_rpi4.dtb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/test_rpi4.dtb -------------------------------------------------------------------------------- /camkes/parser/tests/test_rpi4.dtb.license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/test_rpi4.dtb.license -------------------------------------------------------------------------------- /camkes/parser/tests/test_rpi4.dts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/test_rpi4.dts -------------------------------------------------------------------------------- /camkes/parser/tests/testcpp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testcpp.py -------------------------------------------------------------------------------- /camkes/parser/tests/testdtbmatchquery.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testdtbmatchquery.py -------------------------------------------------------------------------------- /camkes/parser/tests/testdtbmatchquery_rpi4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testdtbmatchquery_rpi4.py -------------------------------------------------------------------------------- /camkes/parser/tests/testexamples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testexamples.py -------------------------------------------------------------------------------- /camkes/parser/tests/testobjects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testobjects.py -------------------------------------------------------------------------------- /camkes/parser/tests/testreader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/testreader.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage1.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage10.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage10.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage2.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage3.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage4.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage5.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage5.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage6.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage6.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage7.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage7.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage8.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage8.py -------------------------------------------------------------------------------- /camkes/parser/tests/teststage9.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/parser/tests/teststage9.py -------------------------------------------------------------------------------- /camkes/runner/Context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/Context.py -------------------------------------------------------------------------------- /camkes/runner/Renderer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/Renderer.py -------------------------------------------------------------------------------- /camkes/runner/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/__init__.py -------------------------------------------------------------------------------- /camkes/runner/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/__main__.py -------------------------------------------------------------------------------- /camkes/runner/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/tests/__init__.py -------------------------------------------------------------------------------- /camkes/runner/tests/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/tests/lint.py -------------------------------------------------------------------------------- /camkes/runner/tests/lintsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/runner/tests/lintsource.py -------------------------------------------------------------------------------- /camkes/templates/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/__init__.py -------------------------------------------------------------------------------- /camkes/templates/arch-definitions.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/arch-definitions.thy -------------------------------------------------------------------------------- /camkes/templates/arch_helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/arch_helpers.py -------------------------------------------------------------------------------- /camkes/templates/camkes-gen.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/camkes-gen.cmake -------------------------------------------------------------------------------- /camkes/templates/camkesConstants.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/camkesConstants.sml -------------------------------------------------------------------------------- /camkes/templates/capdl-spec.cdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/capdl-spec.cdl -------------------------------------------------------------------------------- /camkes/templates/cdl-refine.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/cdl-refine.thy -------------------------------------------------------------------------------- /camkes/templates/cimp-base.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/cimp-base.thy -------------------------------------------------------------------------------- /camkes/templates/component.common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.common.c -------------------------------------------------------------------------------- /camkes/templates/component.debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.debug.c -------------------------------------------------------------------------------- /camkes/templates/component.environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.environment.c -------------------------------------------------------------------------------- /camkes/templates/component.environment.end.cakeml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.environment.end.cakeml -------------------------------------------------------------------------------- /camkes/templates/component.environment.start.cakeml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.environment.start.cakeml -------------------------------------------------------------------------------- /camkes/templates/component.rumprun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.rumprun.c -------------------------------------------------------------------------------- /camkes/templates/component.simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.simple.c -------------------------------------------------------------------------------- /camkes/templates/component.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.template.c -------------------------------------------------------------------------------- /camkes/templates/component.template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/component.template.h -------------------------------------------------------------------------------- /camkes/templates/dtb-query-common.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/dtb-query-common.template.c -------------------------------------------------------------------------------- /camkes/templates/exception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/exception.py -------------------------------------------------------------------------------- /camkes/templates/graph.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/graph.dot -------------------------------------------------------------------------------- /camkes/templates/helpers/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/helpers/error.c -------------------------------------------------------------------------------- /camkes/templates/helpers/marshal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/helpers/marshal.c -------------------------------------------------------------------------------- /camkes/templates/linker.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/linker.lds -------------------------------------------------------------------------------- /camkes/templates/macros.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/macros.py -------------------------------------------------------------------------------- /camkes/templates/root.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/root.thy -------------------------------------------------------------------------------- /camkes/templates/rpc-connector-common-from.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/rpc-connector-common-from.c -------------------------------------------------------------------------------- /camkes/templates/rpc-connector-common-to.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/rpc-connector-common-to.c -------------------------------------------------------------------------------- /camkes/templates/rpc-connector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/rpc-connector.c -------------------------------------------------------------------------------- /camkes/templates/seL4DMASharedData.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4DMASharedData.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4DTBHardware-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4DTBHardware-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4DTBHardware-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4DTBHardware-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4DirectCall-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4DirectCall-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4DirectCall-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4DirectCall-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4GDB-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4GDB-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4GDB-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4GDB-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4GDBMem-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4GDBMem-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4GDBMem-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4GDBMem-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4HardwareIOPort.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4HardwareIOPort.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4HardwareInterrupt.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4HardwareInterrupt.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4HardwareMMIO.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4HardwareMMIO.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4IOAPICHardwareInterrupt.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4IOAPICHardwareInterrupt.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4InitHardware-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4InitHardware-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4InitHardware-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4InitHardware-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4Notification-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4Notification-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4Notification-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4Notification-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationBind-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationBind-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationBind-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationBind-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationNative-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationNative-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationNative-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationNative-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationQueue-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationQueue-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4NotificationQueue-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4NotificationQueue-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4RPCCall-from.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4RPCCall-from.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4RPCCall-to.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4RPCCall-to.template.c -------------------------------------------------------------------------------- /camkes/templates/seL4RPCCall-to.template.cakeml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4RPCCall-to.template.cakeml -------------------------------------------------------------------------------- /camkes/templates/seL4SharedData.template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/seL4SharedData.template.c -------------------------------------------------------------------------------- /camkes/templates/templates.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/templates.cmake -------------------------------------------------------------------------------- /camkes/templates/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/__init__.py -------------------------------------------------------------------------------- /camkes/templates/tests/jinja_lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/jinja_lint.py -------------------------------------------------------------------------------- /camkes/templates/tests/jinja_pylint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/jinja_pylint.py -------------------------------------------------------------------------------- /camkes/templates/tests/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/lint.py -------------------------------------------------------------------------------- /camkes/templates/tests/lintsource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/lintsource.py -------------------------------------------------------------------------------- /camkes/templates/tests/sel4notification.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/sel4notification.pml -------------------------------------------------------------------------------- /camkes/templates/tests/testbadidioms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/testbadidioms.py -------------------------------------------------------------------------------- /camkes/templates/tests/testmacros.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/testmacros.py -------------------------------------------------------------------------------- /camkes/templates/tests/testsel4_notification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/templates/tests/testsel4_notification.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Assests/VisualCAmkES.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Assests/VisualCAmkES.png -------------------------------------------------------------------------------- /camkes/visualCAmkES/Controller/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Controller/__init__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Controller/graph_controller.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Controller/graph_controller.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Interface/Property.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Interface/Property.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Interface/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Interface/__init__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Model/AST_Model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Model/AST_Model.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Model/Common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Model/Common.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/Model/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/Model/__init__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/README.md -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Connection_Property_Widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Connection_Property_Widget.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Connection_Widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Connection_Widget.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Graph_Widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Graph_Widget.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Instance_Property_Widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Instance_Property_Widget.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Instance_Widget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Instance_Widget.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/Save_Option_Dialog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/Save_Option_Dialog.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/View/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/View/__init__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/__init__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/__main__.py -------------------------------------------------------------------------------- /camkes/visualCAmkES/testvisualcamkes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/camkes/visualCAmkES/testvisualcamkes.py -------------------------------------------------------------------------------- /cdl-refine-tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/cdl-refine-tests/README.md -------------------------------------------------------------------------------- /cdl-refine-tests/run_tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/cdl-refine-tests/run_tests -------------------------------------------------------------------------------- /components/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/README.md -------------------------------------------------------------------------------- /components/arch/arm/arch/serial.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/arch/arm/arch/serial.camkes -------------------------------------------------------------------------------- /components/arch/arm/arch/timers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/arch/arm/arch/timers.camkes -------------------------------------------------------------------------------- /components/arch/riscv/arch/timers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/arch/riscv/arch/timers.camkes -------------------------------------------------------------------------------- /components/arch/x86/arch/serial.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/arch/x86/arch/serial.camkes -------------------------------------------------------------------------------- /components/arch/x86/arch/timers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/arch/x86/arch/timers.camkes -------------------------------------------------------------------------------- /components/components.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/components.cmake -------------------------------------------------------------------------------- /components/plat/pc99/plat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/CMakeLists.txt -------------------------------------------------------------------------------- /components/plat/pc99/plat/components/serial_com1/SerialCom.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/components/serial_com1/SerialCom.camkes -------------------------------------------------------------------------------- /components/plat/pc99/plat/components/serial_com2/SerialCom.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/components/serial_com2/SerialCom.camkes -------------------------------------------------------------------------------- /components/plat/pc99/plat/components/serial_com3/SerialCom.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/components/serial_com3/SerialCom.camkes -------------------------------------------------------------------------------- /components/plat/pc99/plat/components/serial_com4/SerialCom.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/components/serial_com4/SerialCom.camkes -------------------------------------------------------------------------------- /components/plat/pc99/plat/serial.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/serial.camkes -------------------------------------------------------------------------------- /components/plat/pc99/plat/timers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/plat/pc99/plat/timers.camkes -------------------------------------------------------------------------------- /components/serial.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/serial.camkes -------------------------------------------------------------------------------- /components/timers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/components/timers.camkes -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/DEBUG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/DEBUG.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/generate-diagrams.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/generate-diagrams.py -------------------------------------------------------------------------------- /docs/imgs/assembly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/assembly.png -------------------------------------------------------------------------------- /docs/imgs/attribute.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/attribute.png -------------------------------------------------------------------------------- /docs/imgs/component.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/component.png -------------------------------------------------------------------------------- /docs/imgs/composition.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/composition.png -------------------------------------------------------------------------------- /docs/imgs/connection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/connection.png -------------------------------------------------------------------------------- /docs/imgs/dataport.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/dataport.png -------------------------------------------------------------------------------- /docs/imgs/direction.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/direction.png -------------------------------------------------------------------------------- /docs/imgs/echo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/echo.svg -------------------------------------------------------------------------------- /docs/imgs/event.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/event.png -------------------------------------------------------------------------------- /docs/imgs/instance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/instance.png -------------------------------------------------------------------------------- /docs/imgs/method.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/method.png -------------------------------------------------------------------------------- /docs/imgs/parameter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/parameter.png -------------------------------------------------------------------------------- /docs/imgs/procedure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/procedure.png -------------------------------------------------------------------------------- /docs/imgs/setting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/setting.png -------------------------------------------------------------------------------- /docs/imgs/type.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/imgs/type.png -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/docs/index.md -------------------------------------------------------------------------------- /examples/direct-ast-access/example-import.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/examples/direct-ast-access/example-import.py -------------------------------------------------------------------------------- /examples/traversal/visit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/examples/traversal/visit.py -------------------------------------------------------------------------------- /include/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/include/README -------------------------------------------------------------------------------- /include/builtin/camkes-hardware.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/include/builtin/camkes-hardware.idl4 -------------------------------------------------------------------------------- /include/builtin/gdb-delegate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/include/builtin/gdb-delegate.camkes -------------------------------------------------------------------------------- /include/builtin/std_connector.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/include/builtin/std_connector.camkes -------------------------------------------------------------------------------- /libcamkescakeml/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/CMakeLists.txt -------------------------------------------------------------------------------- /libcamkescakeml/src/args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/args.c -------------------------------------------------------------------------------- /libcamkescakeml/src/camkes_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/camkes_init.c -------------------------------------------------------------------------------- /libcamkescakeml/src/exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/exit.c -------------------------------------------------------------------------------- /libcamkescakeml/src/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/io.c -------------------------------------------------------------------------------- /libcamkescakeml/src/ipc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/ipc.c -------------------------------------------------------------------------------- /libcamkescakeml/src/virtqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libcamkescakeml/src/virtqueue.c -------------------------------------------------------------------------------- /libsel4camkes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4camkes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/README.md -------------------------------------------------------------------------------- /libsel4camkes/docs/allocator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/allocator.md -------------------------------------------------------------------------------- /libsel4camkes/docs/dataport.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/dataport.md -------------------------------------------------------------------------------- /libsel4camkes/docs/dma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/dma.md -------------------------------------------------------------------------------- /libsel4camkes/docs/error.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/error.md -------------------------------------------------------------------------------- /libsel4camkes/docs/fault.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/fault.md -------------------------------------------------------------------------------- /libsel4camkes/docs/init.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/init.md -------------------------------------------------------------------------------- /libsel4camkes/docs/marshall_macros.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/marshall_macros.md -------------------------------------------------------------------------------- /libsel4camkes/docs/msgqueue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/msgqueue.md -------------------------------------------------------------------------------- /libsel4camkes/docs/pid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/pid.md -------------------------------------------------------------------------------- /libsel4camkes/docs/ps_io_ops_t.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/ps_io_ops_t.md -------------------------------------------------------------------------------- /libsel4camkes/docs/syscalls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/syscalls.md -------------------------------------------------------------------------------- /libsel4camkes/docs/timing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/timing.md -------------------------------------------------------------------------------- /libsel4camkes/docs/tls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/tls.md -------------------------------------------------------------------------------- /libsel4camkes/docs/virtqueue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/virtqueue.md -------------------------------------------------------------------------------- /libsel4camkes/docs/vma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/docs/vma.md -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/allocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/allocator.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/dataport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/dataport.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/dataport_caps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/dataport_caps.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/debug.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/dma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/dma.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/error.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/fault.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/fault.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/gdb/adl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/gdb/adl.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/gdb/delegate_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/gdb/delegate_types.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/gdb/gdb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/gdb/gdb.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/gdb/serial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/gdb/serial.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/init.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/interface_registration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/interface_registration.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/io.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/irq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/irq.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/marshal_macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/marshal_macros.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/msgqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/msgqueue.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/msgqueue_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/msgqueue_template.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/pid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/pid.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/sync.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/sync.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/syscalls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/syscalls.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/timing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/timing.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/tls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/tls.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/virtqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/virtqueue.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/virtqueue_template.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/virtqueue_template.h -------------------------------------------------------------------------------- /libsel4camkes/include/camkes/vma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/include/camkes/vma.h -------------------------------------------------------------------------------- /libsel4camkes/src/allocator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/allocator.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/arm/dataport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/arm/dataport.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/arm/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/arm/io.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/riscv/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/riscv/crt0.S -------------------------------------------------------------------------------- /libsel4camkes/src/arch/riscv/dataport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/riscv/dataport.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/riscv/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/riscv/io.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/riscv/unknown_syscall_fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/riscv/unknown_syscall_fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/x86/dataport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/x86/dataport.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch/x86/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch/x86/io.c -------------------------------------------------------------------------------- /libsel4camkes/src/arch_fault.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch_fault.h -------------------------------------------------------------------------------- /libsel4camkes/src/arch_include/camkes/arch/dataport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch_include/camkes/arch/dataport.h -------------------------------------------------------------------------------- /libsel4camkes/src/arch_include/camkes/arch/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/arch_include/camkes/arch/io.h -------------------------------------------------------------------------------- /libsel4camkes/src/dataport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/dataport.c -------------------------------------------------------------------------------- /libsel4camkes/src/dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/dma.c -------------------------------------------------------------------------------- /libsel4camkes/src/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/error.c -------------------------------------------------------------------------------- /libsel4camkes/src/fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/interface_registration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/interface_registration.c -------------------------------------------------------------------------------- /libsel4camkes/src/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/io.c -------------------------------------------------------------------------------- /libsel4camkes/src/irq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/irq.c -------------------------------------------------------------------------------- /libsel4camkes/src/msgqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/msgqueue.c -------------------------------------------------------------------------------- /libsel4camkes/src/msgqueue_template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/msgqueue_template.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch32/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch32/crt0.S -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch32/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch32/memset.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch32/unknown_syscall_fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch32/unknown_syscall_fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch64/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch64/crt0.S -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch64/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch64/memset.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/aarch64/unknown_syscall_fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/aarch64/unknown_syscall_fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/ia32/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/ia32/crt0.S -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/ia32/gdb_server/gdb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/ia32/gdb_server/gdb.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/ia32/gdb_server/serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/ia32/gdb_server/serial.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/ia32/unknown_syscall_fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/ia32/unknown_syscall_fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/x86_64/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/x86_64/crt0.S -------------------------------------------------------------------------------- /libsel4camkes/src/sel4_arch/x86_64/unknown_syscall_fault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sel4_arch/x86_64/unknown_syscall_fault.c -------------------------------------------------------------------------------- /libsel4camkes/src/start.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/start.c -------------------------------------------------------------------------------- /libsel4camkes/src/sync.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sync.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_clock.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_exit.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_io.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_io.h -------------------------------------------------------------------------------- /libsel4camkes/src/sys_madvise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_madvise.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_pause.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_pause.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_select.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_select.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_signal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_signal.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_socket.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_thread.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_uname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_uname.c -------------------------------------------------------------------------------- /libsel4camkes/src/sys_yield.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/sys_yield.c -------------------------------------------------------------------------------- /libsel4camkes/src/tls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/tls.c -------------------------------------------------------------------------------- /libsel4camkes/src/tls.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/tls.lds -------------------------------------------------------------------------------- /libsel4camkes/src/virtqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/virtqueue.c -------------------------------------------------------------------------------- /libsel4camkes/src/virtqueue_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/virtqueue_common.c -------------------------------------------------------------------------------- /libsel4camkes/src/virtqueue_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/virtqueue_common.h -------------------------------------------------------------------------------- /libsel4camkes/src/virtqueue_template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/virtqueue_template.c -------------------------------------------------------------------------------- /libsel4camkes/src/vsyscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/libsel4camkes/src/vsyscall.c -------------------------------------------------------------------------------- /misc/camkes.nanorc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/misc/camkes.nanorc -------------------------------------------------------------------------------- /misc/camkes.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/misc/camkes.vim -------------------------------------------------------------------------------- /tools/camkes_lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/camkes_lint.py -------------------------------------------------------------------------------- /tools/camkes_scope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/camkes_scope.py -------------------------------------------------------------------------------- /tools/check_deps.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/check_deps.py -------------------------------------------------------------------------------- /tools/ckeywords.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/ckeywords.c -------------------------------------------------------------------------------- /tools/cnode-size-playground.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/cnode-size-playground.c -------------------------------------------------------------------------------- /tools/goanna_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/goanna_wrapper.py -------------------------------------------------------------------------------- /tools/jinja_lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/jinja_lint.py -------------------------------------------------------------------------------- /tools/jinja_pylint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/jinja_pylint.py -------------------------------------------------------------------------------- /tools/make_isabelle_symbols.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/make_isabelle_symbols.py -------------------------------------------------------------------------------- /tools/python-deps/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/python-deps/README.rst -------------------------------------------------------------------------------- /tools/python-deps/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/python-deps/setup.py -------------------------------------------------------------------------------- /tools/sqlite-lint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/sqlite-lint.c -------------------------------------------------------------------------------- /tools/tpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes-tool/HEAD/tools/tpp --------------------------------------------------------------------------------