camkes-tool
The main CAmkES tool
File Explorer
- camkes-deploy.yml
- pr.yml
- push.yml
- test.yml
- trigger.yml
- unit.yml
- vm-test.yml
- dep5
- __init__.py
- lint.py
- lintsource.py
- testckeywords.py
- testhashing.py
- testobjects.py
- __init__.py
- base.py
- ckeywords.py
- exception.py
- liftedast.py
- location.py
- objects.py
- traversal.py
- type.py
- __init__.py
- lint.py
- lintsource.py
- testfrozendict.py
- teststrhash.py
- utils.py
- __init__.py
- Counter.py
- dictutils.py
- exception.py
- frozendict.py
- hash.py
- isabelle_symbols.py
- isinstancefallback.py
- log.py
- memoization.py
- seven.py
- strhash.py
- terminal.py
- 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
- duplicate-parameter.camkes
- invalid-interface-reference.camkes
- multiple-assemblies.camkes
- 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
- 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
- __init__.py
- lint.py
- lintsource.py
- README.md
- 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
- __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
- __init__.py
- lint.py
- lintsource.py
- __init__.py
- __main__.py
- Context.py
- Renderer.py
- error.c
- marshal.c
- __init__.py
- jinja_lint.py
- jinja_pylint.py
- lint.py
- lintsource.py
- sel4notification.pml
- testbadidioms.py
- testmacros.py
- testsel4_notification.py
- __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
- linker.lds
- macros.py
- root.thy
- rpc-connector-common-from.c
- rpc-connector-common-to.c
- rpc-connector.c
- seL4DirectCall-from.template.c
- seL4DirectCall-to.template.c
- seL4DMASharedData.template.c
- seL4DTBHardware-from.template.c
- seL4DTBHardware-to.template.c
- seL4GDB-from.template.c
- seL4GDB-to.template.c
- seL4GDBMem-from.template.c
- seL4GDBMem-to.template.c
- seL4HardwareInterrupt.template.c
- seL4HardwareIOPort.template.c
- seL4HardwareMMIO.template.c
- seL4InitHardware-from.template.c
- seL4InitHardware-to.template.c
- seL4IOAPICHardwareInterrupt.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
- VisualCAmkES.png
- __init__.py
- graph_controller.py
- __init__.py
- Property.py
- __init__.py
- AST_Model.py
- Common.py
- __init__.py
- Connection_Property_Widget.py
- Connection_Widget.py
- Graph_Widget.py
- Instance_Property_Widget.py
- Instance_Widget.py
- Save_Option_Dialog.py
- __init__.py
- __main__.py
- README.md
- testvisualcamkes.py
- __init__.py
- README.md
- run_tests
- serial.camkes
- timers.camkes
- timers.camkes
- serial.camkes
- timers.camkes
- SerialCom.camkes
- SerialCom.camkes
- SerialCom.camkes
- SerialCom.camkes
- CMakeLists.txt
- serial.camkes
- timers.camkes
- components.cmake
- README.md
- serial.camkes
- timers.camkes
- 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
- .gitignore
- DEBUG.md
- generate-diagrams.py
- index.md
- Makefile
- example-import.py
- visit.py
- camkes-hardware.idl4
- gdb-delegate.camkes
- std_connector.camkes
- README
- args.c
- camkes_init.c
- exit.c
- io.c
- ipc.c
- virtqueue.c
- CMakeLists.txt
- 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
- adl.h
- delegate_types.h
- gdb.h
- serial.h
- allocator.h
- dataport.h
- dataport_caps.h
- debug.h
- dma.h
- error.h
- fault.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
- dataport.c
- io.c
- crt0.S
- dataport.c
- io.c
- unknown_syscall_fault.c
- dataport.c
- io.c
- dataport.h
- io.h
- crt0.S
- memset.c
- unknown_syscall_fault.c
- crt0.S
- memset.c
- unknown_syscall_fault.c
- gdb.c
- serial.c
- crt0.S
- unknown_syscall_fault.c
- crt0.S
- unknown_syscall_fault.c
- allocator.c
- arch_fault.h
- dataport.c
- dma.c
- error.c
- fault.c
- interface_registration.c
- io.c
- irq.c
- msgqueue.c
- msgqueue_template.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
- CMakeLists.txt
- README.md
- BSD-2-Clause.txt
- CC-BY-SA-4.0.txt
- GPL-2.0-only.txt
- camkes.nanorc
- camkes.vim
- README.rst
- setup.py
- 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
- sqlite-lint.c
- tpp
- .gitignore
- .licenseignore
- .linkcheck-ignore.yml
- .stylefilter
- alltests.py
- camkes-top-level.cmake
- camkes.cmake
- CHANGES.md
- CMakeLists.txt
- Findcamkes-tool.cmake
- README.md
- VERSION
# Use via CDN
jsDelivrjsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.
Link
Example
// repository documentation
Was this content helpful?
(0 ratings)