Search results

warnings generated by retain attribute in sel4test library header

Status: Open.

#97 In seL4/seL4_libs;

· kent-mcleod opened on Feb 27, 2025

Delete/move branch df-public

Status: Open.

#85 In seL4/seL4_libs;

· axel-h opened on Nov 3, 2023

Is <code>bitmap_length</code> need to add one when <code>num_slots % BITS_PER_WORD != 0</code>?

Status: Open.

#74 In seL4/seL4_libs;

· CtrlZ233 opened on Jul 24, 2023

libsel4muslcsys : Is there a way to do normal read and write like in Linux?

Status: Open.

#68 In seL4/seL4_libs;

· AlonzoLAU opened on Oct 25, 2022

allocman: bootstrap_new_2level_simple clobbers the schedule control cap

bug

Status: Open.

#54 In seL4/seL4_libs;

· kent-mcleod opened on Feb 8, 2022

libsel4utils vspace implementation can only use vspace_new_pages for memory allocation

enhancement

Status: Open.

#53 In seL4/seL4_libs;

· kent-mcleod opened on Feb 8, 2022

libsel4utils vspace assumes it is managing sel4 userspace but is also used for vm guests

virtualisation

Status: Open.

#52 In seL4/seL4_libs;

· kent-mcleod opened on Feb 8, 2022

Is there someting wrong with sync_cv_broadcast_release in condition_var.h

Status: Open.

#47 In seL4/seL4_libs;

· lydmcu opened on Nov 24, 2021

rework kernel/generated/arch/object/structures_gen.h to allow including it

enhancement

Status: Open.

#20 In seL4/seL4_libs;

· axel-h opened on Apr 23, 2020