seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

https://docs.sel4.systems

seL4/seL4_libs Issues

Delete/move branch df-public
Updated 8 months ago
Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?
Updated a year ago1
libsel4muslcsys : Is there a way to do normal read and write like in Linux?
Updated 2 years ago3
Document if the code is production ready
Closed 5 years ago1
Delete attic branch 'spdx'
Closed 2 years ago1
allocman: bootstrap_new_2level_simple clobbers the schedule control cap
Updated 2 years ago
libsel4utils vspace implementation can only use vspace_new_pages for memory allocation
Updated 2 years ago
libsel4utils vspace assumes it is managing sel4 userspace but is also used for vm guests
Updated 2 years ago
Compile warning
Closed 2 years ago2
Is there someting wrong with sync_cv_broadcast_release in condition_var.h
Updated 3 years ago
add events.h for Cortex-A35
Closed 3 years ago
libsel4utils: load_segment memory leak bug
Closed 3 years ago1
rework kernel/generated/arch/object/structures_gen.h to allow including it
Updated 3 years ago2
ARMv7 disables cyclec counters while reading
Updated 3 years ago2
Crash in sel4utils_elf_get_vsyscall if __vsyscall section is not present
Closed 5 years ago1