[Bug]: little core opensbi PMP configure error on CanMV-k230

[yf13]

What happened

When booting CanMV-k230 with SBI debug dump enabled, the following messages shows up in little core console:

Can not configure pmp for domain rootbecause memory region address f04000000 or size 10 is not in range

Does this mean that PMP of little core is not correctly setup?

Reproduction steps

build little core opensbi without defining OPENSBI_QUIET, then check little core console dump of CanMV-k230 device.

Hardware board

CanMV-k230-v1.0

Software version

v1.0.1

Bug frequency

100%

Anything else

No response