loader: fix qemu GIC addresses #776
Ivan-Velickovicsdk.yaml
on: push
Build SDK (Linux x86-64, ARM64)
11m 39s
Build SDK (macOS x86-64, ARM64)
12m 53s
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.5 is already installed and up-to-date.
To reinstall 3.31.5, 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.75+d2c4397-linux-aarch64
|
13.9 MB |
|
|
microkit-sdk-1.4.1-dev.75+d2c4397-linux-x86-64
|
13.9 MB |
|
|
microkit-sdk-1.4.1-dev.75+d2c4397-macos-aarch64
|
13.8 MB |
|
|
microkit-sdk-1.4.1-dev.75+d2c4397-macos-x86-64
|
13.8 MB |
|