Skip to content
SDK

loader: fix EL level for MMU disable #1375

Sign in to view logs

loader: fix EL level for MMU disable

loader: fix EL level for MMU disable #1375

Triggered via push March 10, 2026 01:32
@Ivan-VelickovicIvan-Velickovic
pushed 3d53049
main
Status Success
Total duration 42m 3s
Artifacts 4

sdk.yaml

on: push
Build SDK (Linux x86-64)
28m 56s
Build SDK (Linux x86-64)
Build SDK (macOS, all targets)
22m 56s
Build SDK (macOS, all targets)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
microkit-sdk-2.1.0-dev.26+3d53049-linux-aarch64
57.4 MB
sha256:fa0c23cc5b5303b5c9a8175965fa16ae8d58344533ef2330c8cd20e9853258e3
microkit-sdk-2.1.0-dev.26+3d53049-linux-x86-64
57.5 MB
sha256:f00c7a1af016fc94090851be94f4ce4815034cb11d4f3ae5091cf5c465f55f9b
microkit-sdk-2.1.0-dev.26+3d53049-macos-aarch64
57.4 MB
sha256:c858ade9578b9e6be42254f78507f68762c0f67b9fadf302ca099705b63ee0ff
microkit-sdk-2.1.0-dev.26+3d53049-macos-x86-64
57.4 MB
sha256:37ab121843f6b918b4c288347c93d1d82261bcbc834b9125afef3f74de5cb96c