issues
search
seL4
/
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52
stars
63
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CI: use proper step name
#90
axel-h
closed
2 months ago
0
CI: cancel older concurrent PR runs
#89
axel-h
closed
2 months ago
0
sel4bench/morello: Add a new CPU with PMU events
#88
heshamelmatary
opened
5 months ago
0
CI: simulation and HW build with LLVM on RISCV
#87
axel-h
closed
5 months ago
0
libsel4allocman: fix clang warnings for printing
#86
axel-h
closed
4 months ago
1
Delete/move branch df-public
#85
axel-h
opened
8 months ago
0
libsel4platsupport: check num_pages after alloc success
#84
anchao
closed
7 months ago
0
libsel4muslcsys: fix va list leak in failure case
#83
anchao
closed
8 months ago
0
libsel4utils: fix null pointer reference
#82
anchao
closed
7 months ago
0
libsel4utils: fix use of uninitialized value
#81
anchao
closed
8 months ago
0
libsel4utils: remove unused environment setup
#80
anchao
opened
9 months ago
0
allocman: fix build warning on native X86 simulate
#79
anchao
opened
9 months ago
0
libsel4simple-default,riscv: implement irq_trigger
#78
canarysnort01
opened
10 months ago
2
libsel4test,aarch64,smc: Add smc initial cap field
#77
kent-mcleod
closed
7 months ago
1
simple: Define SIMPLE_SKIPPED_INIT_CAPS better
#76
Furao
closed
10 months ago
2
Enable building with lld
#75
heshamelmatary
opened
11 months ago
2
Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?
#74
CtrlZ233
opened
11 months ago
1
use seL4_BootInfoFrameSize
#73
axel-h
closed
10 months ago
0
libsel4test: Add smc cap to test env
#72
Furao
closed
9 months ago
2
libsel4bench: add support for ARM Cortex-A55
#71
axel-h
closed
1 year ago
0
muslcsys: implement dummy munmap call
#70
chrisguikema
closed
1 year ago
14
trivial: reduce verbosity of untyped lookup fail
#69
chrisguikema
closed
1 year ago
0
libsel4muslcsys : Is there a way to do normal read and write like in Linux?
#68
AlonzoLAU
opened
1 year ago
3
trivial: match ifdef around map_iospace_page
#67
chrisguikema
closed
1 year ago
4
libsel4utils: use seL4_Time instead of uint64_t
#66
axel-h
closed
1 year ago
1
mcs: add handler params to TCB configure functions
#65
corlewis
opened
1 year ago
0
sel4muslcsys: Allocate aligned addr in static mmap
#64
kent-mcleod
closed
2 years ago
0
libsel4muslcsys,mmap: Assert page aligned value
#63
kent-mcleod
closed
2 years ago
0
libsel4muslcsys: use const for CPIO data
#62
axel-h
closed
2 years ago
0
libsel4utils: remove obsolete includes
#61
axel-h
closed
2 years ago
0
riscv-he: rebase 'master' onto riscv_hyp
#60
Ivan-Velickovic
closed
2 years ago
5
RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory
#59
kent-mcleod
closed
10 months ago
0
allocman: Add missing calls to _end_operation
#58
kent-mcleod
closed
1 year ago
0
Delete attic branch 'spdx'
#57
axel-h
closed
2 years ago
1
trivial: Fix format strings
#56
hlyytine
closed
2 years ago
2
libsel4debug: use proper closing bracket
#55
axel-h
closed
2 years ago
4
allocman: bootstrap_new_2level_simple clobbers the schedule control cap
#54
kent-mcleod
opened
2 years ago
0
libsel4utils vspace implementation can only use vspace_new_pages for memory allocation
#53
kent-mcleod
opened
2 years ago
0
libsel4utils vspace assumes it is managing sel4 userspace but is also used for vm guests
#52
kent-mcleod
opened
2 years ago
0
make debug_print_bootinfo() a bit more verbose
#51
axel-h
opened
2 years ago
6
trivial: Fixup compiler warnings
#50
kent-mcleod
closed
2 years ago
0
Remove assert in libsel4muslcsys/src/sys_io.c::sys_close()
#49
bigcardo
closed
2 years ago
6
Resolve some existing compiler warnings
#48
kent-mcleod
closed
2 years ago
2
Is there someting wrong with sync_cv_broadcast_release in condition_var.h
#47
lydmcu
opened
2 years ago
0
libsel4bench: Remove ARMv6 and arm1136jf-s support
#46
kent-mcleod
closed
2 years ago
0
github: style check on diff only for this repo
#45
lsf37
closed
2 years ago
0
Compile warning
#44
bennoleslie
closed
2 years ago
2
sel4utils: properly cache ept pages
#43
chrisguikema
closed
2 years ago
1
Add cpu/events.h header for Cortex-A35
#42
bennoleslie
closed
2 years ago
1
trivial: fix compiler warning
#41
lsf37
closed
2 years ago
0
Next