Issues

• warnings generated by retain attribute in sel4test library header

  seL4/seL4_libs#97 · Filter by author kent-mcleod opened on Feb 27, 2025
  11

• Is bitmap_length need to add one when num_slots % BITS_PER_WORD != 0?

  seL4/seL4_libs#74 · Filter by author CtrlZ233 opened on Jul 24, 2023
  1

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

  seL4/seL4_libs#68 · Filter by author AlonzoLAU opened on Oct 25, 2022
  3

• allocman: bootstrap_new_2level_simple clobbers the schedule control cap

  bug
  seL4/seL4_libs#54 · Filter by author kent-mcleod opened on Feb 8, 2022

• libsel4utils vspace implementation can only use vspace_new_pages for memory allocation

  enhancement
  seL4/seL4_libs#53 · Filter by author kent-mcleod opened on Feb 8, 2022

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

  virtualisation
  seL4/seL4_libs#52 · Filter by author kent-mcleod opened on Feb 8, 2022

• Is there someting wrong with sync_cv_broadcast_release in condition_var.h

  seL4/seL4_libs#47 · Filter by author lydmcu opened on Nov 24, 2021