8000 Pull requests · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: seL4/seL4

New pull request New
Clear current search query, filters, and sorts
8 Open 245 Closed
8 Open 245 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

python-deps: bump cmake-format and autopep8
#1479 opened Jun 5, 2025 by lsf37 Loading…
@lsf37
cmake(docs): remove reference to old BI_CAP_DYN_START
#1470 opened Jun 4, 2025 by midnightveil Loading…
@lsf37
aarch32: make sure irqInvalid is irq_t
#1324 opened Sep 25, 2024 by lsf37 Loading…
@lsf37
10
sel4-deps: cypthon >=3 breaks pyyaml < 6 at build build-system related to the build system
#1295 opened Jul 12, 2024 by lsf37 • Draft
@lsf37
4
MCS: Remove grant right from reply cap hw-test sel4test hardware builds + runs for this PR MCS issues about the mixed-criticality system config verification Needs formal verification input/change, or is motivated by verification
#945 opened Nov 2, 2022 by mbrcknl Loading…
@lsf37
13
aarch64, fpu: update hardware fpu support check hw-test sel4test hardware builds + runs for this PR
#936 opened Oct 20, 2022 by chrisguikema Loading…
@lsf37
16
boot: improve memory region sanity checks hw-build do all sel4test hardware builds on this PR hw-test sel4test hardware builds + runs for this PR
#728 opened Dec 28, 2021 by axel-h Loading…
@lsf37
15
remove unused return code of handlers cleanup Cleanup of code, comments, docs ... verification Needs formal verification input/change, or is motivated by verification
#474 opened Aug 1, 2021 by axel-h Loading…
@lsf37
21
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.
0