Search results

mcs: is lazy rebind with different schedcontext on notification than on tcb needed?

MCSissues about the mixed-criticality system configissues about the mixed-criticality system config

Status: Open.

#1660 In seL4/seL4;

· midnightveil opened on May 12, 2026

libsel4 should expose MIN_BUDGET_US and MAX_BUDGET_US

MCSissues about the mixed-criticality system configissues about the mixed-criticality system config

Status: Open.

#1659 In seL4/seL4;

· midnightveil opened on May 11, 2026

Accessing a TCB's FPU/vector register state

Status: Open.

#1658 In seL4/seL4;

· ramidzkh opened on May 11, 2026

compiler issue with gcc-14 and seL4_Yield

Status: Open.

#1650 In seL4/seL4;

· lsf37 opened on May 6, 2026

Schedule assertion when using vCPUs on SMP kernel

Status: Open.

#1645 In seL4/seL4;

· Ivan-Velickovic opened on Apr 17, 2026

ARM_HYP_CP14_SAVE_AND_RESTORE_VCPU_THREADS for AArch64/hyp

Status: Open.

#1644 In seL4/seL4;

· midnightveil opened on Apr 14, 2026

Object size constants in a readable format

Status: Open.

#1632 In seL4/seL4;

· Ivan-Velickovic opened on Mar 30, 2026

DMA and cache coherency failure with Non‑shareable memory when SMP is disabled

Status: Open.

#1625 In seL4/seL4;

· Happyzhongzhong opened on Mar 20, 2026

MCS: a thread can hang forever if it has an active notification and is made passive by another thread

MCSissues about the mixed-criticality system configissues about the mixed-criticality system config

Status: Open.

#1617 In seL4/seL4;

· dreamliner787-9 opened on Mar 15, 2026

MCS: Any client can hang a passive server?

bugNot working as intendedNot working as intended

MCSissues about the mixed-criticality system configissues about the mixed-criticality system config

Status: Open.

#1616 In seL4/seL4;

· Indanz opened on Mar 12, 2026

Feature request: GenericTimer registers EL0 access via TCB Flags mechanism.

Status: Open.

#1614 In seL4/seL4;

· kent-mcleod opened on Mar 12, 2026

Feature request: Generic Aarch64 kernel platform

ArmFor issues relating to Arm architectureFor issues relating to Arm architecture

Status: Open.

#1613 In seL4/seL4;

· kent-mcleod opened on Mar 11, 2026