Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/sel4_libs issues and pull requests
#39 - avoid build warning if CONFIG_IOMMU is not defined
Pull Request -
State: closed - Opened by axel-h over 3 years ago
Labels: enhancement
#38 - Add GitHub action for sel4test simulation
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
#38 - Add GitHub action for sel4test simulation
Pull Request -
State: closed - Opened by lsf37 over 3 years ago
#37 - libsel4bench: fix syntax errors for RISC-V rv32
Pull Request -
State: closed - Opened by axel-h over 3 years ago
#36 - libsel4utils: Fix alloc leak in elf loading
Pull Request -
State: closed - Opened by kent-mcleod over 3 years ago
- 1 comment
#35 - libsel4utils: load_segment memory leak bug
Issue -
State: closed - Opened by cloudsec over 3 years ago
- 1 comment
Labels: bug
#35 - libsel4utils: load_segment memory leak bug
Issue -
State: closed - Opened by cloudsec over 3 years ago
- 1 comment
Labels: bug
#34 - ARMv7 disables cyclec counters while reading
Issue -
State: open - Opened by xurtis over 3 years ago
- 2 comments
Labels: bug
#34 - ARMv7 disables cyclec counters while reading
Issue -
State: open - Opened by xurtis over 3 years ago
- 2 comments
Labels: bug
#33 - libsel4utils: Fix documentation bug
Pull Request -
State: closed - Opened by kent-mcleod over 3 years ago
- 1 comment
#32 - Do not disable counters when reading on aarch64
Pull Request -
State: closed - Opened by xurtis over 3 years ago
- 5 comments
Labels: enhancement
#32 - Do not disable counters when reading on aarch64
Pull Request -
State: closed - Opened by xurtis over 3 years ago
- 5 comments
Labels: enhancement
#31 - libsel4debug: use SEL4_PRIx_word to print regs
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#31 - libsel4debug: use SEL4_PRIx_word to print regs
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#30 - use CONFIG_DEBUG_BUILD guards
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#30 - use CONFIG_DEBUG_BUILD guards
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#29 - use const qualifier for libcpio and libelf wherever possible
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#29 - use const qualifier for libcpio and libelf wherever possible
Pull Request -
State: closed - Opened by axel-h over 3 years ago
- 1 comment
#28 - add events.h for Cortex-A35
Issue -
State: closed - Opened by axel-h almost 4 years ago
Labels: enhancement
#28 - add events.h for Cortex-A35
Issue -
State: closed - Opened by axel-h almost 4 years ago
Labels: enhancement
#27 - [RasPi4] Cortex-A72: add events.h
Pull Request -
State: closed - Opened by axel-h almost 4 years ago
- 4 comments
#27 - [RasPi4] Cortex-A72: add events.h
Pull Request -
State: closed - Opened by axel-h almost 4 years ago
- 4 comments
#26 - foundation and SPDX setup
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 4 comments
#26 - foundation and SPDX setup
Pull Request -
State: closed - Opened by lsf37 almost 4 years ago
- 4 comments
#25 - Add utilities for setting and dumping log buffer
Pull Request -
State: open - Opened by xurtis almost 4 years ago
- 1 comment
Labels: enhancement
#25 - Add utilities for setting and dumping log buffer
Pull Request -
State: open - Opened by xurtis almost 4 years ago
- 1 comment
Labels: enhancement
#24 - libsel4bench: include autoconf.h
Pull Request -
State: closed - Opened by axel-h about 4 years ago
- 4 comments
#24 - libsel4bench: include autoconf.h
Pull Request -
State: closed - Opened by axel-h about 4 years ago
- 4 comments
#23 - libsel4utils: Instruction fence after bootstrap
Pull Request -
State: closed - Opened by niwis about 4 years ago
#23 - libsel4utils: Instruction fence after bootstrap
Pull Request -
State: closed - Opened by niwis about 4 years ago
#22 - trivial: typo
Pull Request -
State: closed - Opened by cvluca about 4 years ago
- 15 comments
#22 - trivial: typo
Pull Request -
State: closed - Opened by cvluca about 4 years ago
- 15 comments
#21 - Use constructor to initialise libc
Pull Request -
State: closed - Opened by xurtis about 4 years ago
- 9 comments
#21 - Use constructor to initialise libc
Pull Request -
State: closed - Opened by xurtis about 4 years ago
- 9 comments
#20 - rework kernel/generated/arch/object/structures_gen.h to allow including it
Issue -
State: open - Opened by axel-h over 4 years ago
- 2 comments
Labels: enhancement
#19 - debug: add helper functions to limit usage of magic numbers
Pull Request -
State: closed - Opened by axel-h over 4 years ago
- 21 comments
#18 - platsupport/simple: add per cpu irq support on arm
Pull Request -
State: closed - Opened by pingerino about 5 years ago
- 2 comments
#18 - platsupport/simple: add per cpu irq support on arm
Pull Request -
State: closed - Opened by pingerino about 5 years ago
- 2 comments
#17 - utils/vka: update for aarch64 api change
Pull Request -
State: closed - Opened by pingerino over 5 years ago
#17 - utils/vka: update for aarch64 api change
Pull Request -
State: closed - Opened by pingerino over 5 years ago
#16 - update the documented order of the vspace_root parameter
Pull Request -
State: closed - Opened by boydm over 5 years ago
- 3 comments
#15 - sel4utils: update benchmark_track.h
Pull Request -
State: open - Opened by pingerino over 5 years ago
- 1 comment
Labels: enhancement
#14 - Document if the code is production ready
Issue -
State: closed - Opened by DemiMarie over 5 years ago
- 1 comment
#13 - Crash in sel4utils_elf_get_vsyscall if __vsyscall section is not present
Issue -
State: closed - Opened by philipderrin over 5 years ago
- 1 comment
#12 - libsel4simple-default: Don't assert return pointers
Pull Request -
State: closed - Opened by gnustomp almost 6 years ago
- 1 comment
#11 - libsel4test: guard call to seL4_BenchmarkResetLog() by CONFIG_ENABLE_…
Pull Request -
State: closed - Opened by axel-h about 6 years ago
- 3 comments
#10 - No functional change, just added an UNUSED modifier
Pull Request -
State: closed - Opened by fabriziobertocci over 6 years ago
- 1 comment
#9 - Added UNUSED attribute to function
Pull Request -
State: closed - Opened by fabriziobertocci over 6 years ago
#8 - Added missing constants and functions for Beaglebone Black
Pull Request -
State: closed - Opened by fabriziobertocci over 6 years ago
- 7 comments
#7 - Fix for aarch64 crt0 in libsel4platsupport.
Pull Request -
State: closed - Opened by Furao over 6 years ago
#6 - Zcu102 7.0.0
Pull Request -
State: closed - Opened by Furao about 7 years ago
- 2 comments
#5 - Add actual config to libsel4sync Kconfig
Pull Request -
State: closed - Opened by ficoos over 7 years ago
- 2 comments
#4 - Fixed clang warnings
Pull Request -
State: closed - Opened by mokshasoft over 7 years ago
#3 - fix CFILES in Makefile for x86
Pull Request -
State: closed - Opened by ficoos over 7 years ago
- 3 comments
#2 - libsel4muslcsys: Expose morecore_top
Pull Request -
State: closed - Opened by agacek over 7 years ago
- 1 comment
#1 - add sys/types.h for ssize_t
Pull Request -
State: closed - Opened by ratmice about 8 years ago