Add support for split program images · seL4/microkit@2492fa6

Triggered via pull request September 18, 2024 22:29

nspin

synchronize #164

Status Success

Total duration 10m 43s

Artifacts 3

sdk.yaml

on: pull_request

6 warnings

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.

cmake 3.30.3 is already installed and up-to-date. To reinstall 3.30.3, run: brew reinstall cmake

dtc 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.

cmake 3.30.3 is already installed and up-to-date. To reinstall 3.30.3, run: brew reinstall cmake

dtc 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc

Produced during runtime

Name	Size
microkit-sdk-1.4.1-dev.18+e8c5b91-linux-x86-64 Expired	10.4 MB
microkit-sdk-1.4.1-dev.18+e8c5b91-macos-aarch64 Expired	10.3 MB
microkit-sdk-1.4.1-dev.18+e8c5b91-macos-x86-64 Expired	10.3 MB