Search results

Document what kernel proofs apply

Status: Open.

#305 In seL4/microkit;

· Ivan-Velickovic opened on Apr 9, 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

add option to generate an ELF file together with the bootable image

Status: Open.

#249 In seL4/microkit;

· wucke13 opened on Nov 7, 2024

allow to preload data from a file into a memory region by specifying an input file in the XML

Status: Open.

#248 In seL4/microkit;

· wucke13 opened on Nov 6, 2024

Expose the microkit API from within a Linux VM

Status: Open.

#247 In seL4/microkit;

· wucke13 opened on Nov 5, 2024

Please add the corresponding seL4 repo as a submodule

Status: Open.

#210 In seL4/microkit;

· wucke13 opened on Aug 19, 2024

Use larger pages when mapping in large ELFs

Status: Open.

#173 In seL4/microkit;

· Ivan-Velickovic opened on Jul 12, 2024

Make <code>static inline</code> optional

Status: Open.

#128 In seL4/microkit;

· wucke13 opened on May 29, 2024

API for dealing with cache-coherency on ARM

Status: Open.

#115 In seL4/microkit;

· Ivan-Velickovic opened on Mar 26, 2024

Check that registered IRQ numbers are sane

Status: Open.

#109 In seL4/microkit;

· Ivan-Velickovic opened on Feb 28, 2024