Issues

• tool assumes 32-bit for guard/badge sizes

  seL4/capdl#104 · Filter by author midnightveil opened on Aug 10, 2026

• Formal Correctness Proofs of us_to_ticks conversion in the initialiser

  seL4/capdl#98 · Filter by author midnightveil opened on Jul 15, 2026
  4

• dot is missing from CI

  seL4/capdl#97 · Filter by author midnightveil opened on Jul 9, 2026
  

• Lazy Scheduling Context rebind for passive tasks

  seL4/capdl#96 · Filter by author dreamliner787-9 opened on Jul 8, 2026
  7

• capdl/capdl-loader-app/src/main.c:1522:27: error: ‘memory_region’ undeclared (first use in this function)

  seL4/capdl#72 · Filter by author hugusmaximus opened on Aug 22, 2024
  1

• find_device_object can be exteremely inefficient

  seL4/capdl#65 · Filter by author chrisguikema opened on Jun 7, 2024

• CONFIG_VTX checked within CONFIG_ARCH_ARM block?

  seL4/capdl#54 · Filter by author axel-h opened on Aug 29, 2023
  1

• capdl_spec.c: Remove seL4_libs dependencies from generated spec

  seL4/capdl#48 · Filter by author kent-mcleod opened on Aug 19, 2022
  2

• parse-capDL creates invalid dot file

  Haskell
  seL4/capdl#22 · Filter by author axel-h opened on Apr 22, 2021
  2