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

[pascalApple]

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