Search results

Clang compile errors with psci_target_cpus on kria board

Status: Open.

#562 In seL4/microkit;

· midnightveil opened on Jul 16, 2026

Add a way to also run QEMU when building examples with dev_build

Status: Open.

#561 In seL4/microkit;

· dreamliner787-9 opened on Jul 16, 2026

crt0.s suggestion

Status: Open.

#554 In seL4/microkit;

· joep opened on Jul 14, 2026

Feature request

Status: Open.

#550 In seL4/microkit;

· joep opened on Jul 11, 2026

sdf parsing should be consistent with integer parsing

Status: Open.

#537 In seL4/microkit;

· midnightveil opened on Jun 26, 2026

Make setvar region_paddr works on x86-64

Status: Open.

#529 In seL4/microkit;

· dreamliner787-9 opened on Jun 18, 2026

Check that the VCPU cap exists before invoking the kernel

Status: Open.

#527 In seL4/microkit;

· dreamliner787-9 opened on Jun 16, 2026

Improvements to the 64 (62) client/PD/channel limit

Status: Open.

#526 In seL4/microkit;

· midnightveil opened on Jun 15, 2026

Cap Sharing Improvements

Status: Open.

#520 In seL4/microkit;

· midnightveil opened on Jun 11, 2026

Consider removing PD access to their own VSpace (or making it optional)

Status: Open.

#518 In seL4/microkit;

· midnightveil opened on Jun 5, 2026

the manual could do with more information on how to handle faults

Status: Open.

#517 In seL4/microkit;

· midnightveil opened on Jun 5, 2026

Deferred notify and IRQ ack may be overwritten

Status: Open.

#510 In seL4/microkit;

· dreamliner787-9 opened on Jun 2, 2026