Skip to content

Conversation

@Ivan-Velickovic
Copy link
Collaborator

See commit message for details.

Signed-off-by: Ivan Velickovic <[email protected]>
@Ivan-Velickovic Ivan-Velickovic force-pushed the release_packaging branch 2 times, most recently from 66432cf to 14f829b Compare January 5, 2026 11:41
Recently added a new flag --release-packaging to build_sdk.py that
makes it easier to build all the SDKs for each target. This is a lot
quicker than calling build_sdk.py multiple times since this will
just build all artifacts once (e.g the kernel, libmicrokit) and simply
make copies of the SDK with a different target for the tool since the
tool is the only host-specific part.

The benefit of this is that for all users of the SDK, regardless of
their host platform, they will be using the exact same artifacts
(expect for the tool of course).

This should cut down CI time a fair bit.

Signed-off-by: Ivan Velickovic <[email protected]>
@Ivan-Velickovic Ivan-Velickovic merged commit 050bdb2 into main Jan 5, 2026
10 of 11 checks passed
@Ivan-Velickovic Ivan-Velickovic deleted the release_packaging branch January 5, 2026 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant