Skip to content

Pull requests: seL4/seL4_projects_libs

New pull request New
19 Open 93 Closed
19 Open 93 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

vm_syscall_handler error
#129 opened Nov 14, 2024 by kenaml Loading…
libsel4vm: Proper error for map_vm_memory_res
#127 opened Apr 18, 2024 by Furao Loading…
Arm vm multicore debug
#124 opened Feb 1, 2024 by chrisguikema • Draft
vmmplatsupport, vpci: Fix unaligned writes
#123 opened Jan 17, 2024 by elmankku Loading…
4
libsel4vm: implement translation vspace
#114 opened Sep 14, 2023 by chrisguikema Loading…
1
libsel4vmmplatsupport: allow binary modules
#110 opened Jun 2, 2023 by axel-h Loading…
libsel4vm: fix GIC_DIST_CTLR enable handling
#109 opened Jun 2, 2023 by axel-h 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 Loading…
Bug fixes and readability improvements to guest memory handling
#103 opened May 26, 2023 by hlyytine Loading…
libsel4vmmplatsupport: use vm->entry for zImage also
#94 opened Mar 21, 2023 by axel-h Loading…
2
libsel4vm, x86: interrupt model improvements
#86 opened Nov 18, 2022 by andybui01 • Draft
6
libsel4vm: guest cpu requests to vcpus from pcpus
#85 opened Nov 17, 2022 by Apave24 Loading…
3
Arm VM Multicore Improvements
#84 opened Nov 11, 2022 by Apave24 Loading…
22
libsel4vm, vgic: generate dist and cpu values
#83 opened Oct 27, 2022 by chrisguikema • Draft
30
libsel4vm: remove unused function is_active()
#71 opened Jul 14, 2022 by axel-h Loading…
3
libsel4vm: add vgic_dist_set_ctlr()
#70 opened Jul 11, 2022 by axel-h Loading…
libsel4vm: drop struct vgic_dist_device
#69 opened Jul 10, 2022 by axel-h Loading…
Updated: GICv3 emulation
#58 opened Jun 16, 2022 by kent-mcleod • Draft
14
ProTip! Mix and match filters to narrow down what you’re looking for.