Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sel4/sel4_projects_libs issues and pull requests

#44 - Document difference between this repository and seL4_libs

Issue - State: open - Opened by DemiMarie over 2 years ago

#43 - libsel4vmmplatsupport: fixed left shift overflow

Pull Request - State: closed - Opened by feitiantiger over 2 years ago - 1 comment
Labels: bug

#43 - libsel4vmmplatsupport: fixed left shift overflow

Pull Request - State: closed - Opened by feitiantiger over 2 years ago - 1 comment
Labels: bug

#42 - libsel4vmmplatsupport: fixed left shift overflow

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

#42 - libsel4vmmplatsupport: fixed left shift overflow

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

#41 - libsel4vmmplatsupport: fixed left shift overflow

Pull Request - State: closed - Opened by feitiantiger over 2 years ago - 1 comment
Labels: bug

#41 - libsel4vmmplatsupport: fixed left shift overflow

Pull Request - State: closed - Opened by feitiantiger over 2 years ago - 1 comment
Labels: bug

#40 - trivial: use NUM_SGI_VIRQS

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

#40 - trivial: use NUM_SGI_VIRQS

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

#39 - trivial: fix the for loop logic

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

#39 - trivial: fix the for loop logic

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

#38 - trivial: fix return values

Pull Request - State: closed - Opened by abrandnewusername over 2 years ago - 1 comment

#38 - trivial: fix return values

Pull Request - State: closed - Opened by abrandnewusername over 2 years ago - 1 comment

#37 - make LR_OF_NEXT() more robust

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

#37 - make LR_OF_NEXT() more robust

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

#36 - libsel4vm: remove obsolete includes

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

#34 - libsel4vm: make macro LR_OF_NEXT a function

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

#34 - libsel4vm: make macro LR_OF_NEXT a function

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

#33 - github CI job 'trigger' should not run on forks

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

#33 - github CI job 'trigger' should not run on forks

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

#32 - [libsel4vm] trivial: use ARM terminology

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

#31 - trivial: cleanup helper functions setting VGIC distributor registers

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

#31 - trivial: cleanup helper functions setting VGIC distributor registers

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

#30 - trivial: fix typo in comment

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

#30 - trivial: fix typo in comment

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

#29 - libsel4vm: fix number of GIC active_clr registers

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

#29 - libsel4vm: fix number of GIC active_clr registers

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

#28 - libsel4vm: Enqueue IRQs only once

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

#28 - libsel4vm: Enqueue IRQs only once

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

#27 - trivial: Fix format strings

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

#27 - trivial: Fix format strings

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

#26 - libsel4arm-vmm: add support for decoding and emulating arm instructions

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

#26 - libsel4arm-vmm: add support for decoding and emulating arm instructions

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

#25 - libsel4vmmplatsupport: fix PCI passthrough on ARM

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

#25 - libsel4vmmplatsupport: fix PCI passthrough on ARM

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

#24 - SMC Capability

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

#24 - SMC Capability

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

#23 - trivial: Fixup compiler warnings

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

#22 - .github: Remove ARMv6 tests

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

#22 - .github: Remove ARMv6 tests

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

#21 - vgic.h: global should be declared extern

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

#21 - vgic.h: global should be declared extern

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

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

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

#19 - Add GitHub action for sel4test simulations

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

#19 - Add GitHub action for sel4test simulations

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

#18 - delete merged branch xu4_vmm_wip

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

#17 - sataserver: add sataserver support to the VMM

Pull Request - State: closed - Opened by nomadeel over 3 years ago - 4 comments

#16 - Dornerworks x64 VM patch

Pull Request - State: closed - Opened by nomadeel over 3 years ago - 6 comments

#15 - delete merged branches

Issue - State: closed - Opened by axel-h over 3 years ago - 2 comments

#14 - Foundation setup

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 4 comments

#13 - Unaligned PCI BAR address fix

Pull Request - State: closed - Opened by maaaat almost 4 years ago - 7 comments

#11 - gic_dist_map define error, not work

Issue - State: closed - Opened by lydmcu over 4 years ago - 3 comments

#10 - libsel4vmmplatsupport: Fix an off-by-one error

Pull Request - State: closed - Opened by nomadeel over 4 years ago - 6 comments

#9 - Smmu v2

Pull Request - State: closed - Opened by chrisguikema over 5 years ago

#8 - GICv3 emulation

Pull Request - State: closed - Opened by pingerino over 5 years ago - 1 comment

#7 - libsel4arm-vmm: fix bugs in ba8de51828024fe1de88b2

Pull Request - State: closed - Opened by pingerino over 5 years ago

#6 - vgic cleanup to prep for gicv3

Pull Request - State: closed - Opened by pingerino over 5 years ago - 1 comment

#5 - Static lr of

Pull Request - State: closed - Opened by pingerino over 5 years ago

#4 - Zcu102 hyp

Pull Request - State: closed - Opened by chrisguikema over 5 years ago - 3 comments

#3 - libsel4arm-vmm: non 32-bit faults handled incorrectly

Issue - State: open - Opened by agacek over 7 years ago - 1 comment

#2 - libsel4vchan: replace <linux/types.h> with <stddef.h>

Pull Request - State: closed - Opened by agacek over 8 years ago

#1 - libvchan.h includes <linux/types.h>

Issue - State: closed - Opened by agacek over 8 years ago - 4 comments