Search results

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

seL4_Recv()'s seL4_MessageInfo_t return value doesn't contain information about whether the sender performed seL4_Call or seL4_Send.

Status: Open.

#1500 In seL4/seL4;

· kent-mcleod opened on Jul 30, 2025

riscv software ASIDs are incorrectly mapped to hardware ASIDs

Status: Open.

#1496 In seL4/seL4;

· midnightveil opened on Jul 24, 2025

riscv: kernel fault during development not handled nicely by trap_entry function

Status: Open.

#1485 In seL4/seL4;

· kent-mcleod opened on Jun 18, 2025

riscv: plic: plic_init_controller won't clear any pending interrupt

Status: Open.

#1482 In seL4/seL4;

· ganboing opened on Jun 7, 2025

yieldTo replies from kernel when it shouldn't

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

Status: Open.

#1471 In seL4/seL4;

· lsf37 opened on Jun 4, 2025

Inconsistent use of <code>SEL4_FORCE_LONG_ENUM</code>

Status: Open.

#1468 In seL4/seL4;

· nspin opened on May 29, 2025

Aarch64: 4KB granule check fails with FEAT_LPA2

Status: Open.

#1461 In seL4/seL4;

· fischerer opened on May 19, 2025

[Manual] Why is it explicitly stated that <code>seL4_CNode_Mutate</code> does not copy?

docsManual and other documentationManual and other documentation

questionMore of a question than an issueMore of a question than an issue

Status: Open.

#1458 In seL4/seL4;

· wucke13 opened on May 13, 2025