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
#100 - Cross-connector: use dataport frame size instead of 4k default
Pull Request -
State: closed - Opened by hlyytine over 1 year ago
- 10 comments
#99 - libsel4vmmplatsupport: remove unused variable
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#99 - libsel4vmmplatsupport: remove unused variable
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#98 - libsel4vmmplatsupport: remove newline
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#98 - libsel4vmmplatsupport: remove newline
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#97 - sel4vm: Remove vspace dependency
Issue -
State: open - Opened by kent-mcleod over 1 year ago
#97 - sel4vm: Remove vspace dependency
Issue -
State: open - Opened by kent-mcleod over 1 year ago
#96 - libsel4vm: Adhere to gnu99 static assertion
Pull Request -
State: closed - Opened by elmankku over 1 year ago
- 6 comments
#96 - libsel4vm: Adhere to gnu99 static assertion
Pull Request -
State: closed - Opened by elmankku over 1 year ago
- 6 comments
#95 - libsel4vmmplatsupport: remove more linux references
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 1 comment
#95 - libsel4vmmplatsupport: remove more linux references
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 1 comment
#94 - libsel4vmmplatsupport: use vm->entry for zImage also
Pull Request -
State: open - Opened by axel-h over 1 year ago
- 2 comments
#94 - libsel4vmmplatsupport: use vm->entry for zImage also
Pull Request -
State: open - Opened by axel-h over 1 year ago
- 2 comments
#93 - libsel4vmmplatsupport: use uintptr_t
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 2 comments
#93 - libsel4vmmplatsupport: use uintptr_t
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 2 comments
#92 - libsel4vmmplatsupport: make functions static
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#92 - libsel4vmmplatsupport: make functions static
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#91 - libsel4vmmplatsupport: remove superfluous statement
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 1 comment
#91 - libsel4vmmplatsupport: remove superfluous statement
Pull Request -
State: closed - Opened by axel-h over 1 year ago
- 1 comment
#90 - libsel4vmmplatsupport: remove unused variable
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#90 - libsel4vmmplatsupport: remove unused variable
Pull Request -
State: closed - Opened by axel-h over 1 year ago
#89 - trivial: revert Copyright headers
Pull Request -
State: closed - Opened by abrandnewusername almost 2 years ago
#89 - trivial: revert Copyright headers
Pull Request -
State: closed - Opened by abrandnewusername almost 2 years ago
#88 - virtio: improvement for virtio vsock and virtio console
Pull Request -
State: closed - Opened by abrandnewusername almost 2 years ago
- 4 comments
#88 - virtio: improvement for virtio vsock and virtio console
Pull Request -
State: closed - Opened by abrandnewusername almost 2 years ago
- 4 comments
#87 - trivial: fix compilation error
Pull Request -
State: closed - Opened by abrandnewusername almost 2 years ago
#86 - libsel4vm, x86: interrupt model improvements
Pull Request -
State: open - Opened by andybui01 almost 2 years ago
- 6 comments
#86 - libsel4vm, x86: interrupt model improvements
Pull Request -
State: open - Opened by andybui01 almost 2 years ago
- 6 comments
#85 - libsel4vm: guest cpu requests to vcpus from pcpus
Pull Request -
State: open - Opened by Apave24 almost 2 years ago
#85 - libsel4vm: guest cpu requests to vcpus from pcpus
Pull Request -
State: open - Opened by Apave24 almost 2 years ago
#84 - Arm VM Multicore Improvements
Pull Request -
State: open - Opened by Apave24 about 2 years ago
- 5 comments
#84 - Arm VM Multicore Improvements
Pull Request -
State: open - Opened by Apave24 about 2 years ago
- 5 comments
#83 - libsel4vm, vgic: generate dist and cpu values
Pull Request -
State: open - Opened by chrisguikema about 2 years ago
- 9 comments
#83 - libsel4vm, vgic: generate dist and cpu values
Pull Request -
State: open - Opened by chrisguikema about 2 years ago
- 9 comments
#82 - libsel4vm, arm: rework load_image
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
#82 - libsel4vm, arm: rework load_image
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
#81 - libsel4vm: add entries to vm structure
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
Labels: enhancement
#81 - libsel4vm: add entries to vm structure
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
Labels: enhancement
#80 - guest_vspace: don't map object w/o rights to DMA
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
#79 - libsel4vm: add vuart for zynqmp
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 3 comments
#78 - Add zynqmp support to libsel4vm
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
#78 - Add zynqmp support to libsel4vm
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
- 2 comments
#77 - libsel4vm: change vcpu thread naming scheme
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
#77 - libsel4vm: change vcpu thread naming scheme
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
#76 - fdt_gen: Return error values correctly
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
#76 - fdt_gen: Return error values correctly
Pull Request -
State: closed - Opened by chrisguikema about 2 years ago
#75 - Investigate VMM issues with GCC8.4 at "-o3"
Issue -
State: open - Opened by axel-h about 2 years ago
Labels: help wanted
#74 - virtio: console and vsock support
Pull Request -
State: closed - Opened by andybui01 about 2 years ago
- 12 comments
#73 - Refactor vgic level irq
Pull Request -
State: closed - Opened by hlyytine about 2 years ago
#73 - Refactor vgic level irq
Pull Request -
State: closed - Opened by hlyytine about 2 years ago
#72 - VM: Support console multiplexing
Pull Request -
State: closed - Opened by andybui01 over 2 years ago
#72 - VM: Support console multiplexing
Pull Request -
State: closed - Opened by andybui01 over 2 years ago
#71 - libsel4vm: remove unused function is_active()
Pull Request -
State: open - Opened by axel-h over 2 years ago
- 3 comments
#71 - libsel4vm: remove unused function is_active()
Pull Request -
State: open - Opened by axel-h over 2 years ago
- 3 comments
#70 - libsel4vm: add vgic_dist_set_ctlr()
Pull Request -
State: open - Opened by axel-h over 2 years ago
#70 - libsel4vm: add vgic_dist_set_ctlr()
Pull Request -
State: open - Opened by axel-h over 2 years ago
#69 - libsel4vm: drop struct vgic_dist_device
Pull Request -
State: open - Opened by axel-h over 2 years ago
#68 - GICv3 emulation preparation PR
Pull Request -
State: closed - Opened by kent-mcleod over 2 years ago
#68 - GICv3 emulation preparation PR
Pull Request -
State: closed - Opened by kent-mcleod over 2 years ago
#67 - libsel4vm: inline handle_exception()
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#66 - Reduce dependency on vgic_dist_device
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 2 comments
#66 - Reduce dependency on vgic_dist_device
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 2 comments
#65 - Code cleanup (cherry-picked from GICv3 support branch)
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#64 - fix active_clr0 access
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 1 comment
Labels: bug
#64 - fix active_clr0 access
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 1 comment
Labels: bug
#63 - libsel4vm: use constant
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#63 - libsel4vm: use constant
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#62 - libsel4vm: fix typo in comment
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#62 - libsel4vm: fix typo in comment
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#61 - libsel4vm: leave IPC details in VM code
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 1 comment
#61 - libsel4vm: leave IPC details in VM code
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 1 comment
#60 - libsel4vm: fix line breaks in log messages
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#60 - libsel4vm: fix line breaks in log messages
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#59 - libsel4vm: fix the notes
Pull Request -
State: closed - Opened by Jerryy959 over 2 years ago
- 1 comment
#59 - libsel4vm: fix the notes
Pull Request -
State: closed - Opened by Jerryy959 over 2 years ago
- 1 comment
#58 - Updated: GICv3 emulation
Pull Request -
State: open - Opened by kent-mcleod over 2 years ago
- 7 comments
#58 - Updated: GICv3 emulation
Pull Request -
State: open - Opened by kent-mcleod over 2 years ago
- 7 comments
#57 - libsel4vm: remove unused variables
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#57 - libsel4vm: remove unused variables
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#56 - libsel4vm: use constant
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#55 - libsel4vm: remove unused return values
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#55 - libsel4vm: remove unused return values
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#54 - Dornerworks sata
Pull Request -
State: closed - Opened by wom-bat over 2 years ago
- 1 comment
#54 - Dornerworks sata
Pull Request -
State: closed - Opened by wom-bat over 2 years ago
- 1 comment
#53 - do interrupt maintenance if interrupt is set pending (ie enqueued)
Issue -
State: open - Opened by axel-h over 2 years ago
Labels: question
#53 - do interrupt maintenance if interrupt is set pending (ie enqueued)
Issue -
State: open - Opened by axel-h over 2 years ago
Labels: question
#52 - libsel4vm: merge definition of virq_handle_t
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 2 comments
#52 - libsel4vm: merge definition of virq_handle_t
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 2 comments
#51 - libsel4vmmplatsupport: avoid redundancy
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#51 - libsel4vmmplatsupport: avoid redundancy
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#50 - libsel4vmmplatsupport: fix typo in comment
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#50 - libsel4vmmplatsupport: fix typo in comment
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#49 - initialize guest VM registers and update Linux specific documentation
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#49 - initialize guest VM registers and update Linux specific documentation
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#48 - add missing brackets
Pull Request -
State: closed - Opened by axel-h over 2 years ago
#47 - libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?
Issue -
State: open - Opened by axel-h over 2 years ago
- 6 comments
Labels: question
#47 - libsel4vm: set VM_GUEST_ERROR_EXIT on vCPU index error?
Issue -
State: open - Opened by axel-h over 2 years ago
- 6 comments
Labels: question
#46 - trivial: return ret when generating vcpu node
Pull Request -
State: closed - Opened by chrisguikema over 2 years ago
Labels: bug
#45 - define core specific interrupt context
Pull Request -
State: closed - Opened by axel-h over 2 years ago
- 6 comments
#44 - Document difference between this repository and seL4_libs
Issue -
State: open - Opened by DemiMarie over 2 years ago