Skip to content

Pull requests: seL4/seL4_projects_libs

New pull request New
19 Open 101 Closed
19 Open 101 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

libsel4vmmplatsupport: Add support for stm32mp2 SoC family
#137 opened Feb 12, 2026 by bruelc Loading…
3
Pl011 vuart
#133 opened Apr 15, 2025 by ericspidledw Loading…
Arm vm multicore debug
#124 opened Feb 1, 2024 by chrisguikema Contributor • Draft
vmmplatsupport, vpci: Fix unaligned writes
#123 opened Jan 17, 2024 by elmankku Contributor Loading…
4
libsel4vm: implement translation vspace
#114 opened Sep 14, 2023 by chrisguikema Contributor Loading…
1
libsel4vmmplatsupport: allow binary modules
#110 opened Jun 2, 2023 by axel-h Member Loading…
libsel4vm: fix GIC_DIST_CTLR enable handling
#109 opened Jun 2, 2023 by axel-h Member Loading…
Extend maintenance to handle multiple LRs at a time
#105 opened May 28, 2023 by JorgeMVP Loading…
libsel4vm: Set vCPU thread name on all archs
#104 opened May 26, 2023 by hlyytine Contributor Loading…
Bug fixes and readability improvements to guest memory handling
#103 opened May 26, 2023 by hlyytine Contributor Loading…
libsel4vmmplatsupport: use vm->entry for zImage also
#94 opened Mar 21, 2023 by axel-h Member Loading…
2
libsel4vm, x86: interrupt model improvements
#86 opened Nov 18, 2022 by andybui01 Contributor • Draft
6
libsel4vm: guest cpu requests to vcpus from pcpus
#85 opened Nov 17, 2022 by alexpavey Loading…
3
Arm VM Multicore Improvements
#84 opened Nov 11, 2022 by alexpavey Loading…
22
libsel4vm, vgic: generate dist and cpu values
#83 opened Oct 27, 2022 by chrisguikema Contributor • Draft
30
libsel4vm: remove unused function is_active()
#71 opened Jul 14, 2022 by axel-h Member Loading…
3
libsel4vm: add vgic_dist_set_ctlr()
#70 opened Jul 11, 2022 by axel-h Member Loading…
libsel4vm: drop struct vgic_dist_device
#69 opened Jul 10, 2022 by axel-h Member Loading…
Updated: GICv3 emulation
#58 opened Jun 16, 2022 by kent-mcleod Member • Draft
14
ProTip! Type g i on any issue or pull request to go back to the issue listing page.