Repository navigation
cfgchk audit of hvisor dev (02f9b34): board configuration findings #400
Description
I ran a repository-wide cfgchk audit against syswonder/hvisor dev at commit 02f9b34.
Symmetric target/peer duplicates were removed; distinct conflicts remain.
Audit scope
| Item | Result |
|---|---|
| hvisor commit | 02f9b34e9d977d8ea7f3cf1e21edcadf0bfa594e |
| cfgchk | feat/initial-cfgchk at d2ed942 with local SCMI, peer-DTS, disabled-node, and VirtIO-IRQ changes |
| Board directories | 23 |
| Checks executed | 107 |
| Zone JSON standalone | 31 passed |
| VirtIO JSON standalone | 19 passed |
| Full Zone checks | 3 passed; 28 reported findings |
| Disabled DTS overlaps | included as non-blocking Warnings |
| Coverage gaps | 0 |
| Unique detailed findings | 181 errors, 42 warnings |
Informational allowances are omitted.
Board summary
| Architecture/board | Zone JSON | VirtIO JSON | Errors | Warnings |
|---|---|---|---|---|
aarch64/dayu200 |
1 | 1 | 9 | 2 |
aarch64/imx8mp |
2 | 0 | 16 | 8 |
aarch64/jeston-orin |
0 | 0 | 0 | 0 |
aarch64/ok6254-c |
1 | 1 | 8 | 3 |
aarch64/phytium-pi |
1 | 1 | 3 | 0 |
aarch64/qemu-gicv2 |
1 | 1 | 5 | 0 |
aarch64/qemu-gicv3 |
2 | 1 | 7 | 0 |
aarch64/rk3568 |
1 | 1 | 3 | 3 |
aarch64/rk3588 |
1 | 1 | 1 | 5 |
aarch64/sysoul_x3300 |
2 | 1 | 49 | 14 |
aarch64/sysoul_x3300-scmi |
2 | 1 | 20 | 0 |
aarch64/zcu102 |
0 | 0 | 0 | 0 |
loongarch64/ls3a5000 |
3 | 1 | 3 | 1 |
loongarch64/ls3a6000 |
3 | 1 | 24 | 1 |
riscv64/hifive-premier-p550 |
1 | 1 | 4 | 0 |
riscv64/k3-com260 |
1 | 1 | 5 | 1 |
riscv64/megrez |
1 | 1 | 10 | 2 |
riscv64/qemu-aia |
2 | 1 | 6 | 1 |
riscv64/qemu-plic |
3 | 1 | 5 | 1 |
riscv64/ur-dp1000 |
1 | 1 | 1 | 0 |
x86_64/ecx-2300f-peg |
0 | 0 | 0 | 0 |
x86_64/nuc14mnk |
0 | 0 | 0 | 0 |
x86_64/qemu |
2 | 2 | 2 | 0 |
Findings by board
aarch64/dayu200
9 errors, 2 warnings.
Address overlaps (4)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F001 | Root #0 [0x100000,0x110000) |
zone1-ohos.json #4 [0x100000,0x110000) |
[0x100000,0x110000) |
| F002 | Root #1 [0xf0000000,0xfd400000) |
zone1-ohos.json #5 [0xf0000000,0xf0300000) |
[0xf0000000,0xf0300000) |
| F003 | Root #2 [0xfd410000,0xfd460000) |
zone1-ohos.json #7 [0xfd410000,0xfd460000) |
[0xfd410000,0xfd460000) |
| F004 | Root #3 [0xfd520000,0xff000000) |
zone1-ohos.json #6 [0xfd520000,0xfe660000) |
[0xfd520000,0xfe660000) |
Other findings (7)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F005 | Error | dts-memory |
DTS memory [0x200000,0x8400000) not covered by JSON RAM | zone0.dts, zone1-ohos.dts |
| F006 | Error | dts-memory |
DTS memory [0x9400000,0x80000000) not covered by JSON RAM | zone0.dts, zone1-ohos.dts |
| F007 | Warning | pinctrl |
pinctrl identical claim at gpio0-24: root:serial@fe660000(/serial@fe660000 -> uart2m0-xfer@/pinctrl/uart2/uart2m0-xfer), zone1-ohos:serial@fe660000(/serial@fe660000 -> uart2m0-xfer@/pinctrl/uart2/uart2m0-xfer); verify that the root and guest are intentionally using the same pin group | zone0.dts, zone1-ohos.dts |
| F008 | Warning | pinctrl |
pinctrl identical claim at gpio0-8: root:xin32k(/xin32k -> clk32k-out0@/pinctrl/clk32k/clk32k-out0), zone1-ohos:xin32k(/xin32k -> clk32k-out0@/pinctrl/clk32k/clk32k-out0); verify that the root and guest are intentionally using the same pin group | zone0.dts, zone1-ohos.dts |
| F009 | Error | virtio |
JSON virtio region has no matching DTS virtio node: zone1-ohos.json:memory_regions[2] | zone1-ohos.json #2 |
| F010 | Error | virtio |
JSON virtio region has no matching DTS virtio node: zone1-ohos.json:memory_regions[3] | zone1-ohos.json #3 |
| F011 | Error | virtio |
zone1-ohos.json: virtio backend devices exist for zone 1, but its DT has no enabled virtio,mmio nodes | zone1-ohos.json |
aarch64/imx8mp
16 errors, 8 warnings.
Address overlaps (9)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F012 | Root #1 [0x30000000,0x30400000) |
zone1-ruxos.json #3 [0x30000000,0x30400000) |
[0x30000000,0x30400000) |
| F013 | Root #2 [0x30c00000,0x31000000) |
zone1-linux.json #8 [0x30c00000,0x31000000) |
[0x30c00000,0x31000000) |
| F014 | Root #3 [0x30800000,0x30c00000) |
zone1-linux.json #1 [0x30a60000,0x30a70000) |
[0x30a60000,0x30a70000) |
| F015 | Root #3 [0x30800000,0x30c00000) |
zone1-ruxos.json #4 [0x30800000,0x30c00000) |
[0x30800000,0x30c00000) |
| F016 | Root #4 [0x38000000,0x38008000) |
zone1-linux.json #5 [0x38000000,0x38010000) |
[0x38000000,0x38008000) |
| F017 | Root #5 [0x38008000,0x38010000) |
zone1-linux.json #5 [0x38000000,0x38010000) |
[0x38008000,0x38010000) |
| F018 | Root #6 [0x38500000,0x38520000) |
zone1-linux.json #6 [0x38500000,0x38520000) |
[0x38500000,0x38520000) |
| F019 | Root #7 [0x32c00000,0x33000000) |
zone1-linux.json #7 [0x32e80000,0x32ea0000) |
[0x32e80000,0x32ea0000) |
| F020 | Root #7 [0x32c00000,0x33000000) |
zone1-linux.json #9 [0x32fc0000,0x32fe0000) |
[0x32fc0000,0x32fe0000) |
Other findings (15)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F021 | Error | irq-overlap |
interrupts overlap with ROOT_ZONE: [35, 37, 38, 45, 56, 57, 75, 135, 162, 172] | board.rs, zone1-linux.json, zone1-ruxos.json |
| F022 | Warning | pinctrl |
pinctrl identical claim at pad@0x238: root:serial@30890000(/soc@0/bus@30800000/serial@30890000 -> uart4grp@/soc@0/bus@30000000/pinctrl@30330000/uart4grp), ruxos_display:serial@30a60000(/soc@0/bus@30800000/serial@30a60000 -> uart4grp@/soc@0/bus@30000000/pinctrl@30330000/uart4grp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F023 | Warning | pinctrl |
pinctrl identical claim at pad@0x23c: root:serial@30890000(/soc@0/bus@30800000/serial@30890000 -> uart4grp@/soc@0/bus@30000000/pinctrl@30330000/uart4grp), ruxos_display:serial@30a60000(/soc@0/bus@30800000/serial@30a60000 -> uart4grp@/soc@0/bus@30000000/pinctrl@30330000/uart4grp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F024 | Warning | pinctrl |
pinctrl identical claim at pad@0x240: root:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp), ruxos_display:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F025 | Warning | pinctrl |
pinctrl identical claim at pad@0x244: root:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp), ruxos_display:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F026 | Warning | pinctrl |
pinctrl identical claim at pad@0x248: root:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp), ruxos_display:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F027 | Warning | pinctrl |
pinctrl identical claim at pad@0x24c: root:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp), ruxos_display:pinctrl@30330000(/soc@0/bus@30000000/pinctrl@30330000 -> hoggrp@/soc@0/bus@30000000/pinctrl@30330000/hoggrp); verify that the root and guest are intentionally using the same pin group | imx8mp-ruxos-zone0.dts, zone1-ruxos.dts |
| F028 | Error | virtio |
JSON virtio region has no matching DTS virtio node: zone1-linux.json:memory_regions[3] | zone1-linux.json #3 |
| F029 | Warning | virtio |
zone1-linux.json: virtio resources are declared but no virtio_cfg.json/virtio.json or --virtio input was loaded | zone1-linux.json |
| F030 | Warning | virtio |
zone1-ruxos.json: virtio resources are declared but no virtio_cfg.json/virtio.json or --virtio input was loaded | zone1-ruxos.json |
| F031 | Error | virtio |
virtio node virtio_mmio@a003400 range not covered by JSON virtio regions | zone1-ruxos.json |
| F032 | Error | virtio |
virtio node virtio_mmio@a003a00 linux irq 77 missing in JSON interrupts | zone1-ruxos.json |
| F033 | Error | virtio |
virtio node virtio_mmio@a003a00 range not covered by JSON virtio regions | zone1-ruxos.json |
| F034 | Error | virtio |
virtio node virtio_mmio@a003e00 linux irq 79 missing in JSON interrupts | zone1-ruxos.json |
| F035 | Error | virtio |
virtio node virtio_mmio@a003e00 range not covered by JSON virtio regions | zone1-ruxos.json |
aarch64/ok6254-c
8 errors, 3 warnings.
Address overlaps (7)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F036 | Root #11 [0x10000000,0x80000000) |
zone1-linux.json #4 [0x44043000,0x44044000) |
[0x44043000,0x44044000) |
| F037 | Root #11 [0x10000000,0x80000000) |
zone1-linux.json #5 [0x4a600000,0x4a680000) |
[0x4a600000,0x4a680000) |
| F038 | Root #11 [0x10000000,0x80000000) |
zone1-linux.json #6 [0x4a400000,0x4a480000) |
[0x4a400000,0x4a480000) |
| F039 | Root #11 [0x10000000,0x80000000) |
zone1-linux.json #7 [0x4d000000,0x4d080000) |
[0x4d000000,0x4d080000) |
| F040 | Root #1 [0x0,0x1800000) |
zone1-linux.json #1 [0xf4000,0xf5000) |
[0xf4000,0xf5000) |
| F041 | Root #1 [0x0,0x1800000) |
zone1-linux.json #2 [0x600000,0x602000) |
[0x600000,0x602000) |
| F042 | Root #2 [0x2800000,0x3800000) |
zone1-linux.json #3 [0x2800000,0x2801000) |
[0x2800000,0x2801000) |
Other findings (4)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F043 | Warning | gits |
zone0.dts: declares GITS [0x1820000,0x1830000) at /bus@f0000/interrupt-controller@1800000/msi-controller@1820000, but board.rs has no non-zero GITS configuration | zone0.dts, board.rs |
| F044 | Error | irq-overlap |
interrupts overlap with ROOT_ZONE: [210] | board.rs, zone1-linux.json |
| F045 | Warning | pinctrl |
zone0.dts: pinctrl conflict checks skipped: unsupported binding family | zone0.dts, zone1-linux.dts |
| F046 | Warning | pinctrl |
zone1-linux.dts: pinctrl conflict checks skipped: unsupported binding family | zone1-linux.dts, zone0.dts |
aarch64/phytium-pi
3 errors, 0 warnings.
Address overlaps (2)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F047 | Root #10 [0x32a10000,0x32a12000) |
zone1-linux.json #2 [0x32a10000,0x32a12000) |
[0x32a10000,0x32a12000) |
| F048 | Root #9 [0x32a00000,0x32a01000) |
zone1-linux.json #1 [0x32a00000,0x32a01000) |
[0x32a00000,0x32a01000) |
Other findings (1)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F049 | Error | irq-overlap |
interrupts overlap with ROOT_ZONE: [54, 64] | board.rs, zone1-linux.json |
aarch64/qemu-gicv2
5 errors, 0 warnings.
Other findings (5)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F050 | Error | other |
VM CPUs conflict with ROOT_ZONE CPUs: [2, 3] | zone1-linux.json |
| F051 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[0]: IRQ 76 does not match DT IRQs [77] | zone1-linux-virtio.json |
| F052 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[1]: IRQ 78 does not match DT IRQs [79] | zone1-linux-virtio.json |
| F053 | Error | virtio |
virtio node virtio_mmio@a003a00 linux irq 77 missing in JSON interrupts | zone1-linux.json |
| F054 | Error | virtio |
virtio node virtio_mmio@a003e00 linux irq 79 missing in JSON interrupts | zone1-linux.json |
aarch64/qemu-gicv3
7 errors, 0 warnings.
Address overlaps (1)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F055 | Root #1 [0x9000000,0x9001000) |
zone1-ruxos.json #1 [0x9000000,0x9001000) |
[0x9000000,0x9001000) |
Other findings (6)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F056 | Error | dts-memory |
DTS memory [0x50000000,0x80000000) not covered by JSON RAM | zone0.dts, zone1-ruxos.dts |
| F057 | Error | other |
CPU topology mismatch: board+json=['0x2', '0x3'] dts=['0x2'] | zone1-ruxos.json |
| F058 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[0]: no matching virtio,mmio DT node for [0xa003600,0xa003800) | zone1-linux-virtio.json |
| F059 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[2]: no matching virtio,mmio DT node for [0xa003c00,0xa003e00) | zone1-linux-virtio.json |
| F060 | Error | virtio |
zone1-linux-virtio.json:zones[0].memory_region[0]: zone IPA [0x50000000,0x80000000) is not covered by zone 1 virtual RAM | zone1-linux-virtio.json |
| F061 | Error | virtio |
virtio node virtio_mmio@a003e00 linux irq 79 missing in JSON interrupts | zone1-ruxos.json |
aarch64/rk3568
3 errors, 3 warnings.
Address overlaps (2)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F062 | Root #29 [0xfdc20000,0xfdc30000) |
linux2.json #1 [0xfdc20000,0xfdc30000) |
[0xfdc20000,0xfdc30000) |
| F063 | Root #20 [0x64600000,0xf0000000) |
linux2.json #0 [0x50000000,0x75000000) |
[0x64600000,0x75000000) |
Other findings (4)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F064 | Warning | gits |
rk3568_limit_zone0.dts: declares GITS [0xfd440000,0xfd460000) at /interrupt-controller@fd400000/interrupt-controller@fd440000, but board.rs has no non-zero GITS configuration | rk3568_limit_zone0.dts, board.rs |
| F065 | Warning | pinctrl |
pinctrl identical claim at gpio0-24: root:fiq-debugger(/fiq-debugger -> uart2m0-xfer@/pinctrl/uart2/uart2m0-xfer), root:serial@fe660000(/serial@fe660000 -> uart2m0-xfer@/pinctrl/uart2/uart2m0-xfer); verify that the root and guest are intentionally using the same pin group | rk3568_limit_zone0.dts, rk3568_limit_zone1.dts |
| F066 | Warning | pinctrl |
rk3568_limit_zone1.dts: /xin32k: unresolved pinctrl-0 reference 0x1f | rk3568_limit_zone1.dts, rk3568_limit_zone0.dts |
| F067 | Error | virtio |
virtio.json:zones[0].memory_region[0]: root physical range [0x50000000,0x75000000) is not covered by a root RAM/reserved mapping | virtio.json |
aarch64/rk3588
1 errors, 5 warnings.
Address overlaps (1)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F068 | Root #0 [0x100000,0x1f0000) |
zone1-linux.json #1 [0x0,0x200000) |
[0x100000,0x1f0000) |
Other findings (5)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F069 | Warning | gits |
board.rs: GITS MMIO [0x8080000,0x80a0000) intersects root RAM [0x200000,0x8400000) (gic_within_root); verify whether the region should be MEM_TYPE_IO or excluded from root mapping | board.rs |
| F070 | Warning | gits |
board.rs: declares GITS [0x8080000,0x80a0000), but zone0.dts has no enabled matching GITS node/range | board.rs, zone0.dts |
| F071 | Warning | pinctrl |
zone0.dts: /i2c@fec80000/husb311@4e: unresolved pinctrl-0 reference 0x186 | zone0.dts, zone1-linux.dts |
| F072 | Warning | pinctrl |
zone0.dts: /i2c@fec80000/hym8563@51: unresolved pinctrl-0 reference 0x18b | zone0.dts, zone1-linux.dts |
| F073 | Warning | pinctrl |
zone0.dts: /i2c@fec80000: unresolved pinctrl-0 reference 0x185 | zone0.dts, zone1-linux.dts |
aarch64/sysoul_x3300
49 errors, 14 warnings.
Address overlaps (48)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F074 | Root #10 [0xfd5a4000,0xfd5a6000) |
zone2-android.json #7 [0xfd5a4000,0xfd5a6000) |
[0xfd5a4000,0xfd5a6000) |
| F075 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #7 [0xfdab0000,0xfdac0000) |
[0xfdab0000,0xfdac0000) |
| F076 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #8 [0xfdac0000,0xfdad0000) |
[0xfdac0000,0xfdad0000) |
| F077 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #9 [0xfdad0000,0xfdae0000) |
[0xfdad0000,0xfdae0000) |
| F078 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #10 [0xfd5f0000,0xfd600000) |
[0xfd5f0000,0xfd600000) |
| F079 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #11 [0xfdb30000,0xfdb31000) |
[0xfdb30000,0xfdb31000) |
| F080 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #14 [0xfd5e8000,0xfd5ec000) |
[0xfd5e8000,0xfd5ec000) |
| F081 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #17 [0xfd8b0000,0xfd8b1000) |
[0xfd8b0000,0xfd8b1000) |
| F082 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #28 [0xfd5ac000,0xfd5b0000) |
[0xfd5ac000,0xfd5b0000) |
| F083 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #29 [0xfd5b0000,0xfd5b1000) |
[0xfd5b0000,0xfd5b1000) |
| F084 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #30 [0xfd5c4000,0xfd5c5000) |
[0xfd5c4000,0xfd5c5000) |
| F085 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #31 [0xfd5d0000,0xfd5d4000) |
[0xfd5d0000,0xfd5d4000) |
| F086 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #32 [0xfd5d8000,0xfd5dc000) |
[0xfd5d8000,0xfd5dc000) |
| F087 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #33 [0xfd5dc000,0xfd5e0000) |
[0xfd5dc000,0xfd5e0000) |
| F088 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #5 [0xfd8d8000,0xfd8d9000) |
[0xfd8d8000,0xfd8d9000) |
| F089 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #8 [0xfd5a6000,0xfd5a7000) |
[0xfd5a6000,0xfd5a7000) |
| F090 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-android.json #9 [0xfd5a8000,0xfd5a9000) |
[0xfd5a8000,0xfd5a9000) |
| F091 | Root #12 [0xfdd90000,0xfdd98000) |
zone2-android.json #12 [0xfdd90000,0xfdda0000) |
[0xfdd90000,0xfdd98000) |
| F092 | Root #13 [0xfdd98000,0xfe000000) |
zone2-android.json #12 [0xfdd90000,0xfdda0000) |
[0xfdd98000,0xfdda0000) |
| F093 | Root #13 [0xfdd98000,0xfe000000) |
zone2-android.json #13 [0xfde20000,0xfde30000) |
[0xfde20000,0xfde30000) |
| F094 | Root #14 [0xfe000000,0xfe600000) |
zone2-android.json #15 [0xfe2e0000,0xfe2f0000) |
[0xfe2e0000,0xfe2f0000) |
| F095 | Root #15 [0xfea00000,0xfef00000) |
zone2-android.json #16 [0xfec30000,0xfec31000) |
[0xfec30000,0xfec31000) |
| F096 | Root #15 [0xfea00000,0xfef00000) |
zone2-android.json #18 [0xfeda0000,0xfedb0000) |
[0xfeda0000,0xfedb0000) |
| F097 | Root #15 [0xfea00000,0xfef00000) |
zone2-android.json #34 [0xfee20000,0xfee30000) |
[0xfee20000,0xfee30000) |
| F098 | Root #15 [0xfea00000,0xfef00000) |
zone2-android.json #44 [0xfeac0000,0xfeac1000) |
[0xfeac0000,0xfeac1000) |
| F099 | Root #15 [0xfea00000,0xfef00000) |
zone2-android.json #45 [0xfec20000,0xfec21000) |
[0xfec20000,0xfec21000) |
| F100 | Root #18 [0x100000,0x10f000) |
zone1-linux-npu.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
| F101 | Root #18 [0x100000,0x10f000) |
zone2-android.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
| F102 | Root #9 [0xfc000000,0xfd5a4000) |
zone1-linux-npu.json #10 [0xfd588000,0xfd589000) |
[0xfd588000,0xfd589000) |
| F103 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #22 [0xfc000000,0xfc400000) |
[0xfc000000,0xfc400000) |
| F104 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #23 [0xfc800000,0xfc840000) |
[0xfc800000,0xfc840000) |
| F105 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #24 [0xfc840000,0xfc880000) |
[0xfc840000,0xfc880000) |
| F106 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #25 [0xfc880000,0xfc8c0000) |
[0xfc880000,0xfc8c0000) |
| F107 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #26 [0xfc8c0000,0xfc900000) |
[0xfc8c0000,0xfc900000) |
| F108 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #27 [0xfcd00000,0xfd100000) |
[0xfcd00000,0xfd100000) |
| F109 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #35 [0xfd124000,0xfd128000) |
[0xfd124000,0xfd128000) |
| F110 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #36 [0xfd10c000,0xfd10d000) |
[0xfd10c000,0xfd10d000) |
| F111 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #37 [0xfd10d000,0xfd10e000) |
[0xfd10d000,0xfd10e000) |
| F112 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #38 [0xfd10e000,0xfd10f000) |
[0xfd10e000,0xfd10f000) |
| F113 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #39 [0xfd10f000,0xfd110000) |
[0xfd10f000,0xfd110000) |
| F114 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #3 [0xfd104000,0xfd108000) |
[0xfd104000,0xfd108000) |
| F115 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #40 [0xfd12c000,0xfd12d000) |
[0xfd12c000,0xfd12d000) |
| F116 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #41 [0xfd12d000,0xfd12e000) |
[0xfd12d000,0xfd12e000) |
| F117 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #42 [0xfd12e000,0xfd12f000) |
[0xfd12e000,0xfd12f000) |
| F118 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #43 [0xfd12f000,0xfd130000) |
[0xfd12f000,0xfd130000) |
| F119 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #4 [0xfd58c000,0xfd58d000) |
[0xfd58c000,0xfd58d000) |
| F120 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-android.json #6 [0xfd5a0000,0xfd5a1000) |
[0xfd5a0000,0xfd5a1000) |
| F121 | zone1-linux-npu.json #0 [0x100000,0x10f000) |
zone2-android.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
Other findings (15)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F122 | Warning | other |
io region overlaps disabled DTS node cspmu@fd10c000: [0xfd10c000,0xfd10d000) | zone2-android.json |
| F123 | Warning | other |
io region overlaps disabled DTS node debug@fd104000: [0xfd104000,0xfd105000) | zone2-android.json |
| F124 | Warning | other |
io region overlaps disabled DTS node pvtm@fdb30000: [0xfdb30000,0xfdb30100) | zone2-android.json |
| F125 | Warning | other |
io region overlaps disabled DTS node pwm@fd8b0000: [0xfd8b0000,0xfd8b0010) | zone2-android.json |
| F126 | Warning | other |
io region overlaps disabled DTS node pwm@fd8b0020: [0xfd8b0020,0xfd8b0030) | zone2-android.json |
| F127 | Warning | other |
io region overlaps disabled DTS node pwm@fd8b0030: [0xfd8b0030,0xfd8b0040) | zone2-android.json |
| F128 | Warning | other |
io region overlaps disabled DTS node syscon@fd5a0000: [0xfd5a0000,0xfd5a0100) | zone2-android.json |
| F129 | Warning | other |
io region overlaps disabled DTS node syscon@fd5a6000: [0xfd5a6000,0xfd5a7000) | zone2-android.json |
| F130 | Warning | other |
io region overlaps disabled DTS node syscon@fd5ac000: [0xfd5ac000,0xfd5b0000) | zone2-android.json |
| F131 | Warning | other |
io region overlaps disabled DTS node syscon@fd5b0000: [0xfd5b0000,0xfd5b1000) | zone2-android.json |
| F132 | Warning | other |
io region overlaps disabled DTS node syscon@fd5b8000: [0xfd5c4000,0xfd5c5000) | zone2-android.json |
| F133 | Warning | other |
io region overlaps disabled DTS node syscon@fd5c4000: [0xfd5c4000,0xfd5c4100) | zone2-android.json |
| F134 | Error | pinctrl |
pinctrl conflict at gpio3-17: root:gt1x@14(/i2c@fead0000/gt1x@14 -> touch-gpio@/pinctrl/touch/touch-gpio), root:hynitron@5a(/i2c@fead0000/hynitron@5a -> ts_reset_active@/pinctrl/touch/ts_reset_active) | zone0.dts, zone1-linux-npu.dts, zone2-android.dts |
| F135 | Warning | pinctrl |
pinctrl identical claim at gpio0-7: root:rk806single@0(/spi@feb20000/rk806single@0 -> pmic-pins@/pinctrl/pmic/pmic-pins), zone2-android:rk806single@0(/spi@feb20000/rk806single@0 -> pmic-pins@/pinctrl/pmic/pmic-pins); verify that the root and guest are intentionally using the same pin group | zone0.dts, zone1-linux-npu.dts, zone2-android.dts |
| F136 | Warning | pinctrl |
pinctrl identical claim at gpio1-18: root:es8388@11(/i2c@fec90000/es8388@11 -> i2s0-mclk@/pinctrl/i2s0/i2s0-mclk), zone2-android:es8311@19(/i2c@feab0000/es8311@19 -> i2s0-mclk@/pinctrl/i2s0/i2s0-mclk); verify that the root and guest are intentionally using the same pin group | zone0.dts, zone1-linux-npu.dts, zone2-android.dts |
aarch64/sysoul_x3300-scmi
20 errors, 0 warnings.
Address overlaps (19)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F137 | Root #10 [0xfd5a4000,0xfd5a6000) |
zone2-linux-gpu-hdmi.json #17 [0xfd5a4000,0xfd5a6000) |
[0xfd5a4000,0xfd5a6000) |
| F138 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #7 [0xfdab0000,0xfdac0000) |
[0xfdab0000,0xfdac0000) |
| F139 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #8 [0xfdac0000,0xfdad0000) |
[0xfdac0000,0xfdad0000) |
| F140 | Root #11 [0xfd5a6000,0xfdd90000) |
zone1-linux-npu.json #9 [0xfdad0000,0xfdae0000) |
[0xfdad0000,0xfdae0000) |
| F141 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-linux-gpu-hdmi.json #10 [0xfd5e0000,0xfd5e1000) |
[0xfd5e0000,0xfd5e1000) |
| F142 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-linux-gpu-hdmi.json #11 [0xfd5f0000,0xfd600000) |
[0xfd5f0000,0xfd600000) |
| F143 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-linux-gpu-hdmi.json #4 [0xfdb30000,0xfdb31000) |
[0xfdb30000,0xfdb31000) |
| F144 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-linux-gpu-hdmi.json #8 [0xfd5a8000,0xfd5a9000) |
[0xfd5a8000,0xfd5a9000) |
| F145 | Root #11 [0xfd5a6000,0xfdd90000) |
zone2-linux-gpu-hdmi.json #9 [0xfd5a6000,0xfd5a7000) |
[0xfd5a6000,0xfd5a7000) |
| F146 | Root #12 [0xfdd90000,0xfdd98000) |
zone2-linux-gpu-hdmi.json #5 [0xfdd90000,0xfdda0000) |
[0xfdd90000,0xfdd98000) |
| F147 | Root #13 [0xfdd98000,0xfe000000) |
zone2-linux-gpu-hdmi.json #5 [0xfdd90000,0xfdda0000) |
[0xfdd98000,0xfdda0000) |
| F148 | Root #13 [0xfdd98000,0xfe000000) |
zone2-linux-gpu-hdmi.json #6 [0xfde80000,0xfdea0000) |
[0xfde80000,0xfdea0000) |
| F149 | Root #15 [0xfea00000,0xfef00000) |
zone2-linux-gpu-hdmi.json #7 [0xfed60000,0xfed70000) |
[0xfed60000,0xfed70000) |
| F150 | Root #18 [0x100000,0x10f000) |
zone1-linux-npu.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
| F151 | Root #18 [0x100000,0x10f000) |
zone2-linux-gpu-hdmi.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
| F152 | Root #9 [0xfc000000,0xfd5a4000) |
zone1-linux-npu.json #10 [0xfd588000,0xfd589000) |
[0xfd588000,0xfd589000) |
| F153 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-linux-gpu-hdmi.json #12 [0xfd58c000,0xfd58d000) |
[0xfd58c000,0xfd58d000) |
| F154 | Root #9 [0xfc000000,0xfd5a4000) |
zone2-linux-gpu-hdmi.json #3 [0xfd5a0000,0xfd5a1000) |
[0xfd5a0000,0xfd5a1000) |
| F155 | zone1-linux-npu.json #0 [0x100000,0x10f000) |
zone2-linux-gpu-hdmi.json #0 [0x100000,0x10f000) |
[0x100000,0x10f000) |
Other findings (1)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F156 | Error | pinctrl |
pinctrl conflict at gpio3-17: root:gt1x@14(/i2c@fead0000/gt1x@14 -> touch-gpio@/pinctrl/touch/touch-gpio), root:hynitron@5a(/i2c@fead0000/hynitron@5a -> ts_reset_active@/pinctrl/touch/ts_reset_active) | zone0.dts, zone1-linux-npu.dts, zone2-linux-gpu-hdmi.dts |
loongarch64/ls3a5000
3 errors, 1 warnings.
Address overlaps (3)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F157 | Root #7 [0x1fe00000,0x1fe03000) |
zone1-linux.json #2 [0x1fe00000,0x1fe01000) |
[0x1fe00000,0x1fe01000) |
| F158 | Root #7 [0x1fe00000,0x1fe03000) |
zone2-linux.json #2 [0x1fe00000,0x1fe01000) |
[0x1fe00000,0x1fe01000) |
| F159 | Root #7 [0x1fe00000,0x1fe03000) |
zone3-linux.json #2 [0x1fe00000,0x1fe01000) |
[0x1fe00000,0x1fe01000) |
Other findings (1)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F160 | Warning | other |
io region overlaps disabled DTS node serial@1fe001e0: [0x1fe001e0,0x1fe002e0) | zone1-linux.json |
loongarch64/ls3a6000
24 errors, 1 warnings.
Address overlaps (13)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F161 | Root #0 [0x1000,0x11000) |
Root #1 [0x10000,0x200000) |
[0x10000,0x11000) |
| F162 | Root #16 [0x1fe00000,0x1fe03000) |
zone2-linux.json #2 [0x1fe00000,0x1fe01000) |
[0x1fe00000,0x1fe01000) |
| F163 | Root #16 [0x1fe00000,0x1fe03000) |
zone3-linux.json #2 [0x1fe00000,0x1fe01000) |
[0x1fe00000,0x1fe01000) |
| F164 | Root #10 [0x21cc00000,0x31cc00000) |
zone1-linux.json #0 [0x21cc00000,0x41cc00000) |
[0x21cc00000,0x31cc00000) |
| F165 | Root #11 [0x31cc00000,0x41cc00000) |
zone1-linux.json #0 [0x21cc00000,0x41cc00000) |
[0x31cc00000,0x41cc00000) |
| F166 | Root #1 [0x10000,0x200000) |
zone1-linux.json #3 [0x1000,0x11000) |
[0x10000,0x11000) |
| F167 | Root #1 [0x10000,0x200000) |
zone1-linux.json #4 [0xf0000,0x100000) |
[0xf0000,0x100000) |
| F168 | Root #1 [0x10000,0x200000) |
zone2-linux.json #10 [0x1000,0x11000) |
[0x10000,0x11000) |
| F169 | Root #1 [0x10000,0x200000) |
zone2-linux.json #11 [0xf0000,0x100000) |
[0xf0000,0x100000) |
| F170 | Root #1 [0x10000,0x200000) |
zone3-linux.json #10 [0x1000,0x11000) |
[0x10000,0x11000) |
| F171 | Root #1 [0x10000,0x200000) |
zone3-linux.json #11 [0xf0000,0x100000) |
[0xf0000,0x100000) |
| F172 | Root #5 [0xfe440000,0x1f0000000) |
zone2-linux.json #12 [0x140800000,0x141000000) |
[0x140800000,0x141000000) |
| F173 | Root #5 [0xfe440000,0x1f0000000) |
zone3-linux.json #12 [0x141000000,0x141800000) |
[0x141000000,0x141800000) |
Other findings (12)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F174 | Error | cpu-overlap |
zone cpus overlap between linux1 and linux2: [2] | board.rs, zone1-linux.json, zone2-linux.json, zone3-linux.json |
| F175 | Error | cpu-overlap |
zone cpus overlap between linux1 and linux3: [3] | board.rs, zone1-linux.json, zone2-linux.json, zone3-linux.json |
| F176 | Error | cpu-overlap |
zone cpus overlap between linux2 and linux1: [2] | board.rs, zone1-linux.json, zone2-linux.json, zone3-linux.json |
| F177 | Error | cpu-overlap |
zone cpus overlap between linux3 and linux1: [3] | board.rs, zone1-linux.json, zone2-linux.json, zone3-linux.json |
| F178 | Error | dts-memory |
DTS memory [0x140000000,0x140800000) not covered by JSON RAM | zone0.dts, zone1-linux.dts, zone2-linux.dts, zone3-linux.dts |
| F179 | Error | dts-memory |
DTS memory [0x140800000,0x141000000) not covered by JSON RAM | zone0.dts, zone1-linux.dts, zone2-linux.dts, zone3-linux.dts |
| F180 | Error | dts-memory |
DTS memory [0x141000000,0x141800000) not covered by JSON RAM | zone0.dts, zone1-linux.dts, zone2-linux.dts, zone3-linux.dts |
| F181 | Error | dts-memory |
DTS memory [0xc0200000,0xcf000000) not covered by JSON RAM | zone0.dts, zone1-linux.dts, zone2-linux.dts, zone3-linux.dts |
| F182 | Error | dts-memory |
DTS memory [0xd0000000,0xe0000000) not covered by JSON RAM | zone0.dts, zone1-linux.dts, zone2-linux.dts, zone3-linux.dts |
| F183 | Warning | other |
io region overlaps disabled DTS node serial@1fe001e0: [0x1fe001e0,0x1fe002e0) | zone2-linux.json |
| F184 | Error | virtio |
virtio.json:zones[0].memory_region[0]: zone IPA [0xc0000000,0xd0000000) is not covered by zone 1 virtual RAM | virtio.json |
| F185 | Error | virtio |
virtio.json:zones[0].memory_region[1]: zone IPA [0xd0000000,0xe0000000) is not covered by zone 1 virtual RAM | virtio.json |
riscv64/hifive-premier-p550
4 errors, 0 warnings.
Address overlaps (4)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F186 | Root #3 [0x50440000,0x50442000) |
zone1-linux.json #2 [0x50440000,0x50442000) |
[0x50440000,0x50442000) |
| F187 | Root #4 [0x51828000,0x518a8000) |
zone1-linux.json #4 [0x51828000,0x518a8000) |
[0x51828000,0x518a8000) |
| F188 | Root #5 [0x2010000,0x2014000) |
zone1-linux.json #3 [0x2010000,0x2014000) |
[0x2010000,0x2014000) |
| F189 | Root #6 [0xc000000000,0xc400000000) |
zone1-linux.json #5 [0xc000000000,0xc080000000) |
[0xc000000000,0xc080000000) |
riscv64/k3-com260
5 errors, 1 warnings.
Address overlaps (1)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F190 | Root #6 [0xd4282000,0xd4283000) |
zone1-linux-virtio.json #1 [0xd4282000,0xd4283000) |
[0xd4282000,0xd4283000) |
Other findings (5)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F191 | Warning | pinctrl |
zone0.dts: pinctrl conflict checks skipped: unsupported binding family | zone0.dts, zone1-linux.dts |
| F192 | Error | virtio |
virtio-backend.json:zones[0].devices[0]: IRQ 6 does not match DT IRQs [4] | virtio-backend.json |
| F193 | Error | virtio |
virtio-backend.json:zones[0].devices[1]: IRQ 7 does not match DT IRQs [4] | virtio-backend.json |
| F194 | Error | virtio |
virtio node virtio_mmio@10006000 irq 4 missing in JSON interrupts | zone1-linux-virtio.json |
| F195 | Error | virtio |
virtio node virtio_mmio@10007000 irq 4 missing in JSON interrupts | zone1-linux-virtio.json |
riscv64/megrez
10 errors, 2 warnings.
Address overlaps (5)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F196 | Root #3 [0x50440000,0x50442000) |
zone1-linux.json #3 [0x50440000,0x50442000) |
[0x50440000,0x50442000) |
| F197 | Root #4 [0x51828000,0x518a8000) |
zone1-linux.json #5 [0x51828000,0x518a8000) |
[0x51828000,0x518a8000) |
| F198 | Root #5 [0x2010000,0x2014000) |
zone1-linux.json #4 [0x2010000,0x2014000) |
[0x2010000,0x2014000) |
| F199 | Root #7 [0xc000000000,0xc400000000) |
zone1-linux.json #6 [0xc000000000,0xc080000000) |
[0xc000000000,0xc080000000) |
| F200 | Root #9 [0x51600000,0x51800000) |
zone1-linux.json #8 [0x51600000,0x51800000) |
[0x51600000,0x51800000) |
Other findings (7)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F201 | Warning | pinctrl |
zone0.dts: pinctrl conflict checks skipped: unsupported binding family | zone0.dts, zone1-linux.dts |
| F202 | Warning | pinctrl |
zone1-linux.dts: pinctrl conflict checks skipped: unsupported binding family | zone1-linux.dts, zone0.dts |
| F203 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[0]: IRQ 6 is missing from zone 1 interrupts | zone1-linux-virtio.json |
| F204 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[0]: MMIO [0x10006000,0x10007000) is not covered by zone 1 virtio regions | zone1-linux-virtio.json |
| F205 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[1]: IRQ 7 is missing from zone 1 interrupts | zone1-linux-virtio.json |
| F206 | Error | virtio |
zone1-linux-virtio.json:zones[0].devices[1]: MMIO [0x10007000,0x10008000) is not covered by zone 1 virtio regions | zone1-linux-virtio.json |
| F207 | Error | virtio |
zone1-linux.json: virtio backend devices exist for zone 1, but its DT has no enabled virtio,mmio nodes | zone1-linux.json |
riscv64/qemu-aia
6 errors, 1 warning.
The passthrough target was checked without a VirtIO backend. F212–F214 are JSON/DTS findings for that target.
Other findings (7)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F208 | Error | virtio |
JSON virtio region has no matching DTS virtio node: zone1-linux-virtio.json:memory_regions[1] | zone1-linux-virtio.json #1 |
| F209 | Error | virtio |
virtio-backend.json:zones[0].devices[0]: no matching virtio,mmio DT node for [0x10006000,0x10007000) | virtio-backend.json |
| F210 | Error | virtio |
virtio-backend.json:zones[0].devices[1]: IRQ 7 does not match DT IRQs [4] | virtio-backend.json |
| F211 | Error | virtio |
virtio-backend.json:zones[0].memory_region[0]: root physical range [0x83000000,0x8f000000) is not covered by a root RAM/reserved mapping | virtio-backend.json |
| F212 | Warning | virtio |
zone1-linux-passthrough.json: virtio resources are declared but no virtio_cfg.json/virtio.json or --virtio input was loaded | zone1-linux-passthrough.json |
| F213 | Error | virtio |
virtio node virtio_mmio@10007000 irq 4 missing in JSON interrupts | zone1-linux-passthrough.json |
| F214 | Error | virtio |
virtio node virtio_mmio@10007000 range not covered by JSON virtio regions | zone1-linux-passthrough.json |
riscv64/qemu-plic
5 errors, 1 warning.
F215–F216/F218 use the VirtIO variant; F217/F219–F220 use passthrough without a backend. Passthrough maps [0x10007000,0x10008000) as io, so F220 is a JSON/DTS type mismatch, not an unmapped address. Generic zone1-linux.json plus backend passes (0E/0W).
Other findings (6)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F215 | Error | virtio |
virtio-backend.json:zones[0].devices[0]: IRQ 6 is missing from zone 1 interrupts | virtio-backend.json |
| F216 | Error | virtio |
virtio-backend.json:zones[0].devices[0]: MMIO [0x10006000,0x10007000) is not covered by zone 1 virtio regions | virtio-backend.json |
| F217 | Warning | virtio |
zone1-linux-passthrough.json: virtio resources are declared but no virtio_cfg.json/virtio.json or --virtio input was loaded | zone1-linux-passthrough.json |
| F218 | Error | virtio |
virtio node virtio_mmio@10006000 irq 6 missing in JSON interrupts | zone1-linux-virtio.json |
| F219 | Error | virtio |
virtio node virtio_mmio@10006000 range not covered by JSON virtio regions | zone1-linux-passthrough.json, zone1-linux.dts |
| F220 | Error | virtio |
virtio node virtio_mmio@10007000 range not covered by JSON virtio regions | zone1-linux-passthrough.json, zone1-linux.dts |
riscv64/ur-dp1000
1 errors, 0 warnings.
Address overlaps (1)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F221 | Root #0 range unavailable |
zone1-linux.json #0 [0xc0000000,0x880000000) |
[0xc0000000,0x880000000) |
x86_64/qemu
2 errors, 0 warnings.
Address overlaps (1)
| ID | Source A and full range | Source B and full range | Actual overlap |
|---|---|---|---|
| F222 | Root #7 [0xfed00000,0xfed01000) |
zone1_linux.json #8 [0xfed00000,0xfed01000) |
[0xfed00000,0xfed01000) |
Other findings (1)
| ID | Severity | Category | Finding | Source navigation |
|---|---|---|---|---|
| F223 | Error | virtio |
virtio_cfg.json:zones[0].memory_region[0]: zone IPA [0x0,0x20000000) is not covered by zone 1 virtual RAM | virtio_cfg.json |
Follow-up
Please confirm ownership of host overlaps and pinctrl/GITS warnings, then fix or document the JSON/DTS/VirtIO/CPU/IRQ mismatches.
Activity