All issues

Search results

Fix DTB tests

Status: Open.

#177 In seL4/camkes-tool;

· lsf37 opened on Jun 10, 2026

Please don't arbitrarily assume a specific schema for the PYTHONPATH

Status: Open.

#154 In seL4/camkes-tool;

· wucke13 opened on Feb 17, 2025

problem Ethdriver 82574 on Qemu X86_64

Status: Open.

#123 In seL4/camkes-tool;

· rezayazdanparast1376 opened on Dec 25, 2022

Add checks that heap size is a multiple of 4 KiB

Status: Open.

#110 In seL4/camkes-tool;

· axel-h opened on Jun 7, 2022

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

enhancement

help wanted

Status: Open.

#103 In seL4/camkes-tool;

· axel-h opened on Feb 27, 2022

CAMKES cached DMA support

enhancement

Status: Open.

#102 In seL4/camkes-tool;

· kent-mcleod opened on Feb 8, 2022

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

enhancement

Status: Open.

#101 In seL4/camkes-tool;

· kent-mcleod opened on Feb 8, 2022

Use TimeServer by group components

Status: Open.

#98 In seL4/camkes-tool;

· GoldenRice opened on Dec 6, 2021

Support setting dependencies in CMake for a CAmkES component

enhancement

Status: Open.

#117 In seL4/camkes-tool;

· axel-h opened on Aug 22, 2021

Parse interrupts from device tree properly

enhancement

help wanted

Status: Open.

#81 In seL4/camkes-tool;

· axel-h opened on Jul 28, 2021

camkes-cli is out of date

Status: Open.

#76 In seL4/camkes-tool;

· lsf37 opened on Jul 7, 2021

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

Status: Open.

#59 In seL4/camkes-tool;

· ThreeFx opened on Mar 13, 2021