Skip to content

Pull requests: seL4/seL4_tools

New pull request New
25 Open 146 Closed
25 Open 146 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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: Support binary build for imx8mp-evk
#201 opened May 15, 2024 by nomadeel Loading…
cmake: use quotes
#199 opened Apr 15, 2024 by axel-h Loading…
elfloader: initialise stack allocated struct
#198 opened Apr 9, 2024 by Ivan-Velickovic Loading…
2
elfloader: make check more intuitive
#197 opened Mar 22, 2024 by axel-h Loading…
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: remove attic compiler parameter
#193 opened Mar 6, 2024 by axel-h Loading…
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…
Add support for Pine64 Star64
#174 opened Aug 21, 2023 by Ivan-Velickovic Loading…
6
Changes to enable linking with LLVM/lld hw-build enable all sel4test hardware builds hw-test enable sel4test hardware builds + runs
#173 opened Jul 26, 2023 by heshamelmatary Loading…
10
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
Remove fudge factor from shoehorn hw-build enable all sel4test hardware builds hw-test enable sel4test hardware builds + runs
#158 opened Mar 13, 2023 by kent-mcleod Loading…
1
elfloader/loongarch: add support for loongarch and run on the loongson
#156 opened Feb 6, 2023 by ChenYangng Loading…
elfloader/cmake-tool support for RPi4 hw-build enable all sel4test hardware builds
#153 opened Oct 27, 2022 by JoonasOnatsu Loading…
3
improve CPIO creation hw-build enable all sel4test hardware builds
#151 opened Jul 7, 2022 by axel-h Loading…
16
Allow elfloader to put kernel images directly after firmware on RISCV
#135 opened Feb 1, 2022 by kent-mcleod • Draft
23
improve RISC-V multi core boot cleanup hw-build enable all sel4test hardware builds
#132 opened Nov 13, 2021 by axel-h • Draft
6
Sannum/rpi3 fixups
#93 opened Jun 28, 2021 by sannum Loading…
1
cmake: Add make_cpio, a script for generating reproducible cpio(5) archives help wanted
#67 opened Apr 13, 2021 by jashank Loading…
9
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.