All issues

Search results

Formal Correctness Proos of us_to_ticks conversion in the initialiser

Status: Open.

#98 In seL4/capdl;

· midnightveil opened on Jul 15, 2026

dot is missing from CI

Status: Open.

#97 In seL4/capdl;

· midnightveil opened on Jul 9, 2026

Lazy Scheduling Context rebind for passive tasks

Status: Open.

#96 In seL4/capdl;

· dreamliner787-9 opened on Jul 8, 2026

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

Status: Open.

#72 In seL4/capdl;

· hugusmaximus opened on Aug 22, 2024

find_device_object can be exteremely inefficient

Status: Open.

#65 In seL4/capdl;

· chrisguikema opened on Jun 7, 2024

CONFIG_VTX checked within CONFIG_ARCH_ARM block?

Status: Open.

#54 In seL4/capdl;

· axel-h opened on Aug 29, 2023

capdl_spec.c: Remove seL4_libs dependencies from generated spec

Status: Open.

#48 In seL4/capdl;

· kent-mcleod opened on Aug 19, 2022

parse-capDL creates invalid dot file

HaskellHaskell part of capDLHaskell part of capDL

Status: Open.

#22 In seL4/capdl;

· axel-h opened on Apr 22, 2021