seL4/camkes-tool

Issues

• Remove `orderedset` from camkes-deps

  #124 opened 4 months ago by hcindyl
  1

• Template bug: mismatched size type causes error in "component.simple.c"

  #139 opened 9 months ago by colorglass
  2

• dtb() queries in camkes ADL don't work when defined on component types with more than 1 instance

  #131 opened a year ago by kent-mcleod
  0

• Error message for unsupported connection is misleading

  #2 opened a year ago by jtdaugherty
  3

• group component

  #51 opened 2 years ago by Hamed-Kh18
  2

• problem Ethdriver 82574 on Qemu X86_64

  #123 opened 2 years ago by rezayazdanparast1376
  0

• SerialServer Import Failure

  #119 opened 2 years ago by chrisguikema
  3

• Support setting dependencies in CMake for a CAmkES component

  #117 opened 3 years ago by axel-h
  2

• Add checks that heap size is a multiple of 4 KiB

  #110 opened 2 years ago by axel-h
  0

• Allow defining defining “monitor” or “supervisor” relationships for fault handling or scheduling

  #103 opened 3 years ago by axel-h
  0

• CAMKES cached DMA support

  #102 opened 3 years ago by kent-mcleod
  0

• Provide a way to register camkes RPC IOPort interfaces with the camkes ioports interface

  #101 opened 3 years ago by kent-mcleod
  0

• Use TimeServer by group components

  #98 opened 3 years ago by GoldenRice
  0

• Node.js runtime as camkes component

  #86 opened 3 years ago
  2

• Parse interrupts from device tree properly

  #81 opened 3 years ago by axel-h
  0

• camkes-cli is out of date

  #76 opened 3 years ago by lsf37
  0

• delete merged branch kent/rumprun-fix

  #69 opened 3 years ago by axel-h
  1

• delete branch 'spdx'

  #67 opened 3 years ago by axel-h
  1

• Support <stdint.h> for array parameters in cdl-refine spec/proofs

  #59 opened 4 years ago by ThreeFx
  0

• seL4/ci-actions/style fails in template

  #42 opened 4 years ago by axel-h
  6

• GitHub check fail in cmake_format/parser.py

  #53 opened 4 years ago by axel-h
  1

• URL in repository description broken

  #32 opened 5 years ago by Smattr
  1

• sel4bench_counter_t not updated

  #14 opened 7 years ago by chrisguikema
  2

• Old link to Visual CAmkES wiki

  #12 opened 7 years ago by sheepybloke
  2

• Connector with Attribute

  #9 opened 8 years ago by Jesse-Millwood
  0

• Mismatched interface types can result in a python exception.

  #8 opened 8 years ago by chaosape
  0

• Camkes Next: Silently ignores string attribute

  #6 opened 8 years ago by agacek
  2

• Camkes doesn't allow 0 as default priority

  #7 opened 8 years ago by agacek
  1

• Misleading error message: "Multiple CAmkES applications selected. Only a single application can be built at once. Stop."

  #5 opened 8 years ago by agacek
  3