Skip to content

Pull requests: seL4/sel4test

New pull request New
11 Open 99 Closed
11 Open 99 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

Tests for https://github.com/seL4/seL4/issues/941
#155 opened May 13, 2026 by midnightveil Contributor Loading…
1
Tests for overmapping, and fixes for aarch32 PT tests
#148 opened Oct 20, 2025 by Kswin01 • Draft
1
(don't merge) Remove const qualifiers from domain schedule variables
#126 opened Sep 6, 2024 by JE-Archer Member Loading…
ipc: re-enable test IPC0028
#123 opened Jun 17, 2024 by lsf37 Member Loading…
Add test for AArch64 cache instructions
#97 opened Jul 24, 2023 by Ivan-Velickovic Contributor Loading…
5
Add tests for all of the ARM cache operations on all kinds of frame mappings.
#94 opened May 23, 2023 by Ivan-Velickovic Contributor Loading…
18
Change PT0002 for aarch32 and add new tests related to overmapping
#88 opened Jan 31, 2023 by alwin-joshy Contributor Loading…
tests: update tests for handler parameters
#78 opened Jul 22, 2022 by corlewis Member • Draft
MCS: Add periodic drift test
#76 opened Jun 2, 2022 by Indanz Contributor Loading…
9
CMake: allow skipping include of settings.cmake enhancement
#40 opened Jun 23, 2021 by axel-h Member Loading…
@lsf37 @axel-h
14
Add tests for new MCS fault cases
#23 opened Aug 7, 2020 by xurtis Contributor • Draft
@xurtis
3
ProTip! Add no:assignee to see everything that’s not assigned.