Are there any possible tools to analysis domain configuration without having to manually debug by putting logs

Hi guys,
I am porting opensbi/uboot/linux to my fpga based rocket "chip",and trying to make it can run with Xilinx's IPs,such as eth/dma/spi,
However when i try to add domain dts for opensbi, opensbi just halt on
sbi_domain_finalize: platform domains_init() failed (error -3) init_coldboot: domain finalize failed (error -3)
By using logs to debug,i found that it just because there is something wrong with my domain configuration,
For example i found my sbi halts on
Non-root domains cannot add a region with only M-mode,access permissions. M-mode regions can only be part of,root domain.SU permission bits can't be all zeroes when M-mode permission,bits have at least one bit set.
It seems that there re some rules which must be obeyed when writing domain dts configurations,so are there some possible tools that can be used to analysis domain configuration in advance or some manuals that can teach me how to design them?
Many thanks

Start with the OpenSBI domain DTS configuration and the domains_init() path, using the reported domain-finalization errors as constraints to document. Determine whether an existing manual or validation tool can cover these rules; done means providing actionable guidance or a clearly scoped tool proposal for checking configurations before boot.