Search results

Not very comprehensible error message.

Status: Open.

#405 In seL4/microkit;

· SKLV287465 opened on Dec 19, 2025

Rasberry Pi 4B regression since 2.1.0

Status: Open.

#401 In seL4/microkit;

· Ivan-Velickovic opened on Nov 28, 2025

Unexpected behaviour on x86-64 when building SDK using LLVM

Status: Open.

#396 In seL4/microkit;

· Ivan-Velickovic opened on Nov 26, 2025

Output capDL spec as CDL format

Status: Open.

#379 In seL4/microkit;

· Ivan-Velickovic opened on Nov 24, 2025

Don't hard-code object sizes

Status: Open.

#378 In seL4/microkit;

· Ivan-Velickovic opened on Nov 24, 2025

proto-rfc: the microkit API shouldn't exist (mostly)

Status: Open.

#362 In seL4/microkit;

· midnightveil opened on Nov 17, 2025

Remove IRQ ack in libmicrokit init

Status: Open.

#360 In seL4/microkit;

· Ivan-Velickovic opened on Nov 17, 2025

Change the way hierarchy works

Status: Open.

#326 In seL4/microkit;

· Ivan-Velickovic opened on Sep 1, 2025

Consider auto-allocation of virtual addresses of mappings

Status: Open.

#319 In seL4/microkit;

· Ivan-Velickovic opened on Jul 28, 2025

Add ARM SMC forwarding granularity

Status: Open.

#290 In seL4/microkit;

· Ivan-Velickovic opened on Mar 7, 2025

Unexpected behaviour with minimum budget

Status: Open.

#285 In seL4/microkit;

· Ivan-Velickovic opened on Mar 5, 2025

Check runtime device tree matches kernel in loader

Status: Open.

#268 In seL4/microkit;

· Ivan-Velickovic opened on Feb 1, 2025