Fix x86 MSI PCI parsing + add x86 IRQ vector range check #1381
sdk.yaml
on: pull_request
Build SDK (Linux x86-64)
30m 41s
Build SDK (macOS, all targets)
22m 10s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-2.1.0-dev.32+20d7080-linux-aarch64
|
57.4 MB |
sha256:dcbb0c74c84ce4561481ce3f3d5e61d05ee6dedd10793ab54f16ed429c50f004
|
|
|
microkit-sdk-2.1.0-dev.32+20d7080-linux-x86-64
|
57.5 MB |
sha256:48d3acdd7a94b4d0d014493e081464ccc89c98d1ef17dcaa15172a70786a5f6a
|
|
|
microkit-sdk-2.1.0-dev.32+20d7080-macos-aarch64
|
57.4 MB |
sha256:4869f772537fc344b5acf54bdecdc4c54a045c7effc1c526cafaa32d3438da3d
|
|
|
microkit-sdk-2.1.0-dev.32+20d7080-macos-x86-64
|
57.4 MB |
sha256:3457a1bb440f3d5defcb05b127a8548b535ae0dab6d5fb8188d56f537b3dcea9
|
|