Add AArch64 container variants #65
Merged
Commits on May 14, 2024
-
Add an AArch64 version of the seL4, CAmkES, and L4v containers. seL4 and CAmkES should have full functionality, L4v will be missing the mlton compiler. The Intel containers remain available as before. Co-authored-by: Gerwin Klein <[email protected]> Signed-off-by: Gerwin Klein <[email protected]>
-
github: add a MacOS M1 build job
Signed-off-by: Gerwin Klein <[email protected]>
-
- remove obsolete options and settings - spell check - update github org URLs - update descriptions to current seL4 CI - update CLI instructions - markdown lint Signed-off-by: Gerwin Klein <[email protected]>
-
github: no cached images on self-hosted runner
Prevent the job from using cached images on the self-hosted runner to make sure we are picking up the current state of the remote Debian repo. GitHub runners start from scratch each time, so they won't have any cached images available. Signed-off-by: Gerwin Klein <[email protected]>
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.