SDK

aarch64/riscv64: make the microkit loader relocatable #787

Sign in to view logs

Triggered via pull request March 3, 2025 09:06

Ivan-Velickovic

synchronize #220

alwin-joshy:relocatable

Status Success

Total duration 15m 45s

Artifacts 4

sdk.yaml

on: pull_request

Build SDK (Linux x86-64, ARM64)

Build SDK (macOS x86-64, ARM64)

Annotations

3 warnings

Build SDK (macOS x86-64, ARM64)

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

Build SDK (macOS x86-64, ARM64)

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

Build SDK (macOS x86-64, ARM64)

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

Artifacts

Produced during runtime

Name	Size
microkit-sdk-1.4.1-dev.83+991e706-linux-aarch64	14 MB
microkit-sdk-1.4.1-dev.83+991e706-linux-x86-64	14 MB
microkit-sdk-1.4.1-dev.83+991e706-macos-aarch64	13.9 MB
microkit-sdk-1.4.1-dev.83+991e706-macos-x86-64	13.9 MB