Skip to content

tool: add --override-kernel option - #478

Merged
Ivan-Velickovic merged 1 commit into
mainfrom
custom_sel4
Apr 22, 2026
Merged

tool: add --override-kernel option#478
Ivan-Velickovic merged 1 commit into
mainfrom
custom_sel4

tool: add --override-kernel option

96f95bc
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Apr 22, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO