Search results

Multiboot: Mmap parsing code is not multiboot spec compliant.

Status: Open.

#1573 In seL4/seL4;

· josephg opened on Dec 15, 2025

Performance degradation after #1325 (FPU Switching)

Status: Open.

#1569 In seL4/seL4;

· JDuchniewicz opened on Dec 10, 2025

clock sync test fails on SMP x86 whe running with QEMU

Status: Open.

#1566 In seL4/seL4;

· Ivan-Velickovic opened on Nov 27, 2025

KernelAllowSMCCalls can be turned on in verification builds

Status: Open.

#1565 In seL4/seL4;

· Ivan-Velickovic opened on Nov 26, 2025

update preprocess test to include all verified configs

CIrelated to continuous integration and testingrelated to continuous integration and testing

Status: Open.

#1557 In seL4/seL4;

· lsf37 opened on Nov 19, 2025

imx8mq MCS test failures

Status: Open.

#1545 In seL4/seL4;

· midnightveil opened on Nov 4, 2025

incorrect spurious interrupt reporting following commit 0f78e4e95776c56afac077a5d9971314353e4b19

Status: Open.

#1540 In seL4/seL4;

· midnightveil opened on Oct 31, 2025

kernel interrupt handling: (benign) race between creating the irq handler cap and binding it to a notification

Status: Open.

#1536 In seL4/seL4;

· midnightveil opened on Oct 30, 2025

aarch64 kernel should configure TCR_EL1, MAIR_EL1 and other system registers rather than the loader doing it

Status: Open.

#1517 In seL4/seL4;

· midnightveil opened on Oct 10, 2025

Make hardware_gen.py support interrupt-multiplex

Status: Open.

#1514 In seL4/seL4;

· sevenautumns opened on Oct 1, 2025

Meaning of <code>KernelMaxNumNodes</code>

Status: Open.

#1512 In seL4/seL4;

· Ivan-Velickovic opened on Sep 16, 2025

MCS: Fix us-ticks conversion problems

Status: Open.

#1509 In seL4/seL4;

· Indanz opened on Aug 26, 2025