Search results

Riscv, kernel trapping, and "double" faults

Status: Open.

#1374 In seL4/seL4;

· midnightveil opened on Jan 21, 2025

MCS: Prevent budget amplification via IPC calls to passive servers

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

bugNot working as intendedNot working as intended

Status: Open.

#1365 In seL4/seL4;

· Indanz opened on Dec 15, 2024

Aarch32: CLK_MAGIC, CLK_SHIFT inconsistencies

Status: Open.

#1352 In seL4/seL4;

· Indanz opened on Nov 19, 2024

QEMU riscv32 SMP stucks

Status: Open.

#1345 In seL4/seL4;

· yf13 opened on Nov 5, 2024

Alignment faults on AArch64

docsManual and other documentationManual and other documentation

Status: Open.

#1339 In seL4/seL4;

· Ivan-Velickovic opened on Oct 30, 2024

install target fails for the verified ARM_HYP configuration

Status: Open.

#1334 In seL4/seL4;

· wucke13 opened on Oct 18, 2024

OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002

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

SMPIssues related to muticore functionalityIssues related to muticore functionality

bugNot working as intendedNot working as intended

debug-buildrelevant to debug build configurationsrelevant to debug build configurations

Status: Open.

#1333 In seL4/seL4;

· lsf37 opened on Oct 12, 2024

Pre-RFC: Give seL4 TCB fault message types unique IDs across kernel configurations

Status: Open.

#1327 In seL4/seL4;

· kent-mcleod opened on Oct 3, 2024

libsel4: Generated invocation functions don't reflect the entire return type for errors

Status: Open.

#1321 In seL4/seL4;

· kent-mcleod opened on Sep 23, 2024

seL4_TCB_SetSchedParams: inconsistency between API reference and implementation

Status: Open.

#1311 In seL4/seL4;

· alwin-joshy opened on Aug 22, 2024

seL4_X_ASIDControl in manual: incorrect number of VSpaces

docsManual and other documentationManual and other documentation

Status: Open.

#1303 In seL4/seL4;

· astevins opened on Jul 29, 2024

PR preprocess test should compare with base branch

CIrelated to continuous integration and testingrelated to continuous integration and testing

Status: Open.

#1299 In seL4/seL4;

· lsf37 opened on Jul 19, 2024