Search results

riscv64: memory paging doesn't seem to work if physBase()>0

Status: Open.

#481 In seL4/microkit;

· pfzetto opened on Apr 26, 2026

riscv64: feature-request: page fault handler

Status: Open.

#480 In seL4/microkit;

· pfzetto opened on Apr 26, 2026

Remove the need for loader_link_address

Status: Open.

#477 In seL4/microkit;

· Ivan-Velickovic opened on Apr 21, 2026

Improve release workflow

Status: Open.

#474 In seL4/microkit;

· Ivan-Velickovic opened on Apr 21, 2026

"cached=false" or "cached=true" should be attribute on the memory region, not the mapping

Status: Open.

#471 In seL4/microkit;

· midnightveil opened on Apr 17, 2026

fix aarch64 MMU fixes - don't disable it

Status: Open.

#466 In seL4/microkit;

· midnightveil opened on Apr 2, 2026

broken atomic lock when starting multiple cores

Status: Open.

#463 In seL4/microkit;

· bruelc opened on Mar 31, 2026

Can we remove the need for the linker script to declare '__sel4_ipc_buffer_obj'?

Status: Open.

#451 In seL4/microkit;

· midnightveil opened on Mar 25, 2026

proto-rfc: replace ELF patching (setvar) with passing a 'microkit_bootinfo_t' structure

Status: Open.

#422 In seL4/microkit;

· midnightveil opened on Feb 13, 2026

support for distro packaging

Status: Open.

#420 In seL4/microkit;

· midnightveil opened on Feb 13, 2026

Support IOMMU on x86-64

Status: Open.

#418 In seL4/microkit;

· Ivan-Velickovic opened on Feb 13, 2026

Deal with multiple IOAPICs being available on x86-64 hardware

Status: Open.

#414 In seL4/microkit;

· Ivan-Velickovic opened on Feb 10, 2026