Skip to content

cmake-tool: add ARM_PLAT aliases to elfloader binary_list - #268

Closed
ShankaradityaNS wants to merge 1 commit into
seL4:masterfrom
ShankaradityaNS:fix-elfloader-image-arm-plat-aliases
Closed

cmake-tool: add ARM_PLAT aliases to elfloader binary_list#268
ShankaradityaNS wants to merge 1 commit into
seL4:masterfrom
ShankaradityaNS:fix-elfloader-image-arm-plat-aliases

cmake-tool: add ARM_PLAT aliases to elfloader binary_list

d0d4731
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 18, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO