Skip to content

Pull requests: seL4/seL4_tools

New pull request New
24 Open 155 Closed
24 Open 155 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

simulation: pass SMP number to QEMU
#210 opened Nov 5, 2024 by yf13 Loading…
Zcu102 support for the "simulate" script based on Qemu
#209 opened Oct 29, 2024 by jcdubois Loading…
simulation: Add support for i.mx7 simulation through Qemu
#208 opened Oct 8, 2024 by jcdubois Loading…
2
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: 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…
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! Mix and match filters to narrow down what you’re looking for.