Search results

Serial <code>add_client</code> can't add write-only clients

Status: Open.

#18 In au-ts/microkit_sdf_gen;

· wom-bat opened on Jun 4, 2025

Detect <code>paddr_top</code> automatically

Status: Open.

#16 In au-ts/microkit_sdf_gen;

· Ivan-Velickovic opened on May 26, 2025

Have a 'passthrough everything' function for virtual machines

Status: Open.

#13 In au-ts/microkit_sdf_gen;

· Ivan-Velickovic opened on May 6, 2025

footgun: possible to build in the config for the wrong dtb node

Status: Open.

#12 In au-ts/microkit_sdf_gen;

· midnightveil opened on Apr 11, 2025

Export seL4 config values

Status: Open.

#11 In au-ts/microkit_sdf_gen;

· midnightveil opened on Apr 10, 2025

Generic LionsOS IO resources info

Status: Open.

#9 In au-ts/microkit_sdf_gen;

· Ivan-Velickovic opened on Mar 25, 2025

Augment library with the ability to do <code>objcopy</code>ing itself

Status: Open.

#8 In au-ts/microkit_sdf_gen;

· nspin opened on Mar 22, 2025

Add functionality for automatically assigning priorities to PDs

Status: Open.

#7 In au-ts/microkit_sdf_gen;

· JE-Archer opened on Feb 26, 2025