Skip to content

Pull requests: seL4/seL4_tools

New pull request New
14 Open 178 Closed
14 Open 178 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

elfloader: make check more intuitive
#197 opened Mar 22, 2024 by axel-h Loading…
2
elfloader: avoid redundant calculation
#196 opened Mar 22, 2024 by axel-h Loading…
elfloader: use loop variable as index
#195 opened Mar 22, 2024 by axel-h Loading…
elfloader/riscv: always pass hart/core information
#194 opened Mar 14, 2024 by axel-h Loading…
1
elfloader: improve stability hw-test enable sel4test hardware builds + runs
#191 opened Feb 28, 2024 by andybui01 Loading…
38
Elfloader: NVIDIA Jetson Orin support hw-test enable sel4test hardware builds + runs
#190 opened Feb 8, 2024 by andybui01 Loading…
11
morello: Add FVP and SoC platforms to the EFI list
#188 opened Jan 31, 2024 by heshamelmatary Loading…
morello: Add a new QEMU platform
#182 opened Jan 8, 2024 by heshamelmatary Loading…
cmake: group arch specific handling cleanup
#162 opened Mar 25, 2023 by axel-h Loading…
elfloader: factor out load_dtb() cleanup hw-build enable all sel4test hardware builds
#161 opened Mar 22, 2023 by axel-h Loading…
elfloader: factor out check_hash() cleanup hw-build enable all sel4test hardware builds
#160 opened Mar 22, 2023 by axel-h Loading…
1
elfloader/loongarch: add support for loongarch and run on the loongson
#156 opened Feb 6, 2023 by ChenYangng Loading…
improve CPIO creation hw-build enable all sel4test hardware builds
#151 opened Jul 7, 2022 by axel-h Loading…
16
improve RISC-V multi core boot cleanup hw-build enable all sel4test hardware builds
#132 opened Nov 13, 2021 by axel-h • Draft
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.