Skip to content

tool: refactor main to move out kernel configuration and binary generation - #584

Merged
midnightveil merged 2 commits into
seL4:mainfrom
sfulham:main
Jul 30, 2026
Merged

tool: refactor main to move out kernel configuration and binary generation#584
midnightveil merged 2 commits into
seL4:mainfrom
sfulham:main

Tool: Move image generation out of main

cc75dbb
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 30, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO