Skip to content

libmicrokit: add function to get mr count from msginfo #206

libmicrokit: add function to get mr count from msginfo

libmicrokit: add function to get mr count from msginfo #206

Build SDK (macOS x86-64)

succeeded Apr 26, 2024 in 16m 29s
Set up job
3s
Checkout Microkit repository
1s
Checkout seL4 repository
1s
Install SDK dependencies
7m 58s
Install AArch64 GCC toolchain
14s
Build SDK
8m 6s
Post Checkout seL4 repository
0s
Post Checkout Microkit repository
0s
Complete job
0s