Search results

x86 <code>KernelIOMMU</code> set even when <code>KernelVerificationBuild</code> is set to true

Status: Open.

#1591 In seL4/seL4;

· Ivan-Velickovic opened on Feb 11, 2026

Please remove dependency on future for <code>sel4-deps</code>

Status: Open.

#1590 In seL4/seL4;

· micwoj92 opened on Feb 9, 2026

Remove QEMU <code>overlay-reserve-vm-memory.dts</code>?

Status: Open.

#1589 In seL4/seL4;

· Ivan-Velickovic opened on Feb 9, 2026

riscv hardcodes cache information to that of the hifive unleashed

Status: Open.

#1588 In seL4/seL4;

· midnightveil opened on Feb 9, 2026

audit AArch64 registers for context and mode switching

Status: Open.

#1583 In seL4/seL4;

· lsf37 opened on Jan 13, 2026

seL4_Resume() on passive threads

Status: Open.

#1582 In seL4/seL4;

· Kswin01 opened on Jan 12, 2026

seL4_DebugSnapshot crashes the kernel on multiple arches

Status: Open.

#1579 In seL4/seL4;

· midnightveil opened on Jan 6, 2026

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

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