-
Notifications
You must be signed in to change notification settings - Fork 93
Pull requests: seL4/seL4_tools
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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…
elfloader: improve stability
hw-test
enable sel4test hardware builds + runs
#191
opened Feb 28, 2024 by
andybui01
Loading…
Elfloader: NVIDIA Jetson Orin support
hw-test
enable sel4test hardware builds + runs
#190
opened Feb 8, 2024 by
andybui01
Loading…
morello: Add FVP and SoC platforms to the EFI list
#188
opened Jan 31, 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…
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…
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…
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…
improve CPIO creation
hw-build
enable all sel4test hardware builds
#151
opened Jul 7, 2022 by
axel-h
Loading…
Allow elfloader to put kernel images directly after firmware on RISCV
#135
opened Feb 1, 2022 by
kent-mcleod
•
Draft
cmake: Add
make_cpio
, a script for generating reproducible cpio(5) archives
help wanted
#67
opened Apr 13, 2021 by
jashank
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-11-25.