Skip to content

Pull requests: seL4/camkes-vm

New pull request New
12 Open 103 Closed
12 Open 103 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

CMake: just depend on VmPCISupport
#125 opened Jan 28, 2024 by axel-h Loading…
init: dynamically determine necessary size for ALLOCMAN_VIRTUAL_SIZE
#115 opened Oct 26, 2023 by chrisguikema Loading…
7
vm_arm: remove deprecated config options hw-test camkes-vm-examples hardware builds + runs for this PR
#96 opened May 7, 2023 by axel-h • Draft
1
vm_arm: move vpci code to dedicated module
#77 opened Mar 31, 2023 by axel-h • Draft
3
remove AddToFileServer() hw-test camkes-vm-examples hardware builds + runs for this PR
#76 opened Mar 23, 2023 by axel-h Loading…
5
vm_arm: add priority in vm config struct
#69 opened Mar 10, 2023 by axel-h • Draft
15
vm-arm: inline memory initializtion module
#68 opened Mar 10, 2023 by axel-h Loading…
55
Init: add support for MSIs in the x86 VMM
#55 opened Nov 18, 2022 by andybui01 Loading…
vm_arm: add pcpu list for core pinning
#54 opened Nov 11, 2022 by Apave24 Loading…
16
vm_arm: set fdt pointer and gic name
#53 opened Oct 27, 2022 by chrisguikema • Draft
3
supermicro: add sata device config
#32 opened Jul 19, 2022 by abrandnewusername Loading…
2
vm_arm: Add ability to specify smmu v2 sid to cb mappings
#17 opened Feb 2, 2022 by Apave24 Loading…
2
ProTip! no:milestone will show everything without a milestone.