| Name | Content |
|---|---|
| [PATCH v4 1/2] cdx: don't select CONFIG_GENERIC_MSI_IRQ | [Body] |
| [PATCH v4 2/2] vfio/cdx: update driver to build without CONFIG_GENERIC_MSI_IRQ | [Body] |
| ID (for dev) | 4836d591-8965-485d-a20e-e2cd67108998 |
|---|---|
| Status | finished |
| Triaged | OK [Log] |
| Execution Log | [Link] |
| Test | Base | Patched | Verdict |
|---|---|---|---|
| Build Base | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] | passed [Log] | |
| Build Patched | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] [patched] | passed [Log] | |
| Boot test: Patched | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] [patched] | passed | |
| Boot test: Base | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] | passed | |
| Fuzzing | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] | 068a56e56fa81e42fc5f08dff34fab149bb60a09 [Config] [patched] | skipped [Log] [Artifacts] |