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

#92 - libsel4simple-default: include schedcontrol range

Pull Request - State: open - Opened by astevins 3 months ago

#92 - libsel4simple-default: include schedcontrol range

Pull Request - State: open - Opened by astevins 3 months ago

#91 - libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject

Pull Request - State: open - Opened by astevins 4 months ago - 3 comments

#91 - libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject

Pull Request - State: open - Opened by astevins 4 months ago - 3 comments

#90 - CI: use proper step name

Pull Request - State: closed - Opened by axel-h 7 months ago

#90 - CI: use proper step name

Pull Request - State: closed - Opened by axel-h 7 months ago

#89 - CI: cancel older concurrent PR runs

Pull Request - State: closed - Opened by axel-h 7 months ago

#89 - CI: cancel older concurrent PR runs

Pull Request - State: closed - Opened by axel-h 7 months ago

#88 - sel4bench/morello: Add a new CPU with PMU events

Pull Request - State: open - Opened by heshamelmatary 10 months ago

#88 - sel4bench/morello: Add a new CPU with PMU events

Pull Request - State: open - Opened by heshamelmatary 10 months ago

#87 - CI: simulation and HW build with LLVM on RISCV

Pull Request - State: closed - Opened by axel-h 10 months ago

#87 - CI: simulation and HW build with LLVM on RISCV

Pull Request - State: closed - Opened by axel-h 10 months ago

#86 - libsel4allocman: fix clang warnings for printing

Pull Request - State: closed - Opened by axel-h 12 months ago - 1 comment

#85 - Delete/move branch df-public

Issue - State: open - Opened by axel-h about 1 year ago

#84 - libsel4platsupport: check num_pages after alloc success

Pull Request - State: closed - Opened by anchao about 1 year ago
Labels: bug

#84 - libsel4platsupport: check num_pages after alloc success

Pull Request - State: closed - Opened by anchao about 1 year ago
Labels: bug

#83 - libsel4muslcsys: fix va list leak in failure case

Pull Request - State: closed - Opened by anchao about 1 year ago

#83 - libsel4muslcsys: fix va list leak in failure case

Pull Request - State: closed - Opened by anchao about 1 year ago

#82 - libsel4utils: fix null pointer reference

Pull Request - State: closed - Opened by anchao about 1 year ago
Labels: bug

#82 - libsel4utils: fix null pointer reference

Pull Request - State: closed - Opened by anchao about 1 year ago
Labels: bug

#81 - libsel4utils: fix use of uninitialized value

Pull Request - State: closed - Opened by anchao about 1 year ago

#81 - libsel4utils: fix use of uninitialized value

Pull Request - State: closed - Opened by anchao about 1 year ago

#80 - libsel4utils: remove unused environment setup

Pull Request - State: closed - Opened by anchao about 1 year ago - 8 comments

#80 - libsel4utils: remove unused environment setup

Pull Request - State: closed - Opened by anchao about 1 year ago - 8 comments

#79 - allocman: fix build warning on native X86 simulate

Pull Request - State: open - Opened by anchao about 1 year ago

#79 - allocman: fix build warning on native X86 simulate

Pull Request - State: open - Opened by anchao about 1 year ago

#78 - libsel4simple-default,riscv: implement irq_trigger

Pull Request - State: open - Opened by canarysnort01 about 1 year ago - 2 comments

#78 - libsel4simple-default,riscv: implement irq_trigger

Pull Request - State: open - Opened by canarysnort01 about 1 year ago - 2 comments

#77 - libsel4test,aarch64,smc: Add smc initial cap field

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago - 1 comment

#77 - libsel4test,aarch64,smc: Add smc initial cap field

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago - 1 comment

#76 - simple: Define SIMPLE_SKIPPED_INIT_CAPS better

Pull Request - State: closed - Opened by Furao over 1 year ago - 2 comments

#76 - simple: Define SIMPLE_SKIPPED_INIT_CAPS better

Pull Request - State: closed - Opened by Furao over 1 year ago - 2 comments

#75 - Enable building with lld

Pull Request - State: open - Opened by heshamelmatary over 1 year ago - 2 comments
Labels: enhancement

#74 - Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?

Issue - State: open - Opened by CtrlZ233 over 1 year ago - 1 comment

#74 - Is `bitmap_length` need to add one when `num_slots % BITS_PER_WORD != 0`?

Issue - State: open - Opened by CtrlZ233 over 1 year ago - 1 comment

#73 - use seL4_BootInfoFrameSize

Pull Request - State: closed - Opened by axel-h over 1 year ago

#73 - use seL4_BootInfoFrameSize

Pull Request - State: closed - Opened by axel-h over 1 year ago

#72 - libsel4test: Add smc cap to test env

Pull Request - State: closed - Opened by Furao almost 2 years ago - 2 comments

#72 - libsel4test: Add smc cap to test env

Pull Request - State: closed - Opened by Furao almost 2 years ago - 2 comments

#71 - libsel4bench: add support for ARM Cortex-A55

Pull Request - State: closed - Opened by axel-h almost 2 years ago

#71 - libsel4bench: add support for ARM Cortex-A55

Pull Request - State: closed - Opened by axel-h almost 2 years ago

#70 - muslcsys: implement dummy munmap call

Pull Request - State: closed - Opened by chrisguikema about 2 years ago - 14 comments

#70 - muslcsys: implement dummy munmap call

Pull Request - State: closed - Opened by chrisguikema about 2 years ago - 14 comments

#69 - trivial: reduce verbosity of untyped lookup fail

Pull Request - State: closed - Opened by chrisguikema about 2 years ago

#69 - trivial: reduce verbosity of untyped lookup fail

Pull Request - State: closed - Opened by chrisguikema about 2 years ago

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

Issue - State: open - Opened by AlonzoLAU about 2 years ago - 3 comments

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

Issue - State: open - Opened by AlonzoLAU about 2 years ago - 3 comments

#67 - trivial: match ifdef around map_iospace_page

Pull Request - State: closed - Opened by chrisguikema about 2 years ago - 4 comments

#67 - trivial: match ifdef around map_iospace_page

Pull Request - State: closed - Opened by chrisguikema about 2 years ago - 4 comments

#66 - libsel4utils: use seL4_Time instead of uint64_t

Pull Request - State: closed - Opened by axel-h about 2 years ago - 1 comment

#66 - libsel4utils: use seL4_Time instead of uint64_t

Pull Request - State: closed - Opened by axel-h about 2 years ago - 1 comment

#65 - mcs: add handler params to TCB configure functions

Pull Request - State: open - Opened by corlewis over 2 years ago

#64 - sel4muslcsys: Allocate aligned addr in static mmap

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago

#63 - libsel4muslcsys,mmap: Assert page aligned value

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago

#63 - libsel4muslcsys,mmap: Assert page aligned value

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago

#62 - libsel4muslcsys: use const for CPIO data

Pull Request - State: closed - Opened by axel-h over 2 years ago

#62 - libsel4muslcsys: use const for CPIO data

Pull Request - State: closed - Opened by axel-h over 2 years ago

#61 - libsel4utils: remove obsolete includes

Pull Request - State: closed - Opened by axel-h over 2 years ago

#61 - libsel4utils: remove obsolete includes

Pull Request - State: closed - Opened by axel-h over 2 years ago

#60 - riscv-he: rebase 'master' onto riscv_hyp

Pull Request - State: closed - Opened by Ivan-Velickovic over 2 years ago - 5 comments

#60 - riscv-he: rebase 'master' onto riscv_hyp

Pull Request - State: closed - Opened by Ivan-Velickovic over 2 years ago - 5 comments

#58 - allocman: Add missing calls to _end_operation

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago

#58 - allocman: Add missing calls to _end_operation

Pull Request - State: closed - Opened by kent-mcleod over 2 years ago

#57 - Delete attic branch 'spdx'

Issue - State: closed - Opened by axel-h over 2 years ago - 1 comment

#57 - Delete attic branch 'spdx'

Issue - State: closed - Opened by axel-h over 2 years ago - 1 comment

#56 - trivial: Fix format strings

Pull Request - State: closed - Opened by hlyytine over 2 years ago - 2 comments

#56 - trivial: Fix format strings

Pull Request - State: closed - Opened by hlyytine over 2 years ago - 2 comments

#55 - libsel4debug: use proper closing bracket

Pull Request - State: closed - Opened by axel-h over 2 years ago - 4 comments

#54 - allocman: bootstrap_new_2level_simple clobbers the schedule control cap

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: bug

#54 - allocman: bootstrap_new_2level_simple clobbers the schedule control cap

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: bug

#53 - libsel4utils vspace implementation can only use vspace_new_pages for memory allocation

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: enhancement

#53 - libsel4utils vspace implementation can only use vspace_new_pages for memory allocation

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: enhancement

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

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: virtualisation

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

Issue - State: open - Opened by kent-mcleod almost 3 years ago
Labels: virtualisation

#51 - make debug_print_bootinfo() a bit more verbose

Pull Request - State: open - Opened by axel-h almost 3 years ago - 6 comments

#51 - make debug_print_bootinfo() a bit more verbose

Pull Request - State: open - Opened by axel-h almost 3 years ago - 6 comments

#50 - trivial: Fixup compiler warnings

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago

#50 - trivial: Fixup compiler warnings

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago

#49 - Remove assert in libsel4muslcsys/src/sys_io.c::sys_close()

Pull Request - State: closed - Opened by bigcardo almost 3 years ago - 6 comments

#49 - Remove assert in libsel4muslcsys/src/sys_io.c::sys_close()

Pull Request - State: closed - Opened by bigcardo almost 3 years ago - 6 comments

#48 - Resolve some existing compiler warnings

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago - 2 comments

#48 - Resolve some existing compiler warnings

Pull Request - State: closed - Opened by kent-mcleod almost 3 years ago - 2 comments

#46 - libsel4bench: Remove ARMv6 and arm1136jf-s support

Pull Request - State: closed - Opened by kent-mcleod about 3 years ago

#46 - libsel4bench: Remove ARMv6 and arm1136jf-s support

Pull Request - State: closed - Opened by kent-mcleod about 3 years ago

#45 - github: style check on diff only for this repo

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#45 - github: style check on diff only for this repo

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#44 - Compile warning

Issue - State: closed - Opened by bennoleslie about 3 years ago - 2 comments

#43 - sel4utils: properly cache ept pages

Pull Request - State: closed - Opened by chrisguikema about 3 years ago - 1 comment
Labels: bug

#43 - sel4utils: properly cache ept pages

Pull Request - State: closed - Opened by chrisguikema about 3 years ago - 1 comment
Labels: bug

#42 - Add cpu/events.h header for Cortex-A35

Pull Request - State: closed - Opened by bennoleslie about 3 years ago - 1 comment
Labels: enhancement

#42 - Add cpu/events.h header for Cortex-A35

Pull Request - State: closed - Opened by bennoleslie about 3 years ago - 1 comment
Labels: enhancement

#41 - trivial: fix compiler warning

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#41 - trivial: fix compiler warning

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#40 - github: trigger main test on push to master

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#40 - github: trigger main test on push to master

Pull Request - State: closed - Opened by lsf37 about 3 years ago

#39 - avoid build warning if CONFIG_IOMMU is not defined

Pull Request - State: closed - Opened by axel-h over 3 years ago
Labels: enhancement