Hi everyone,

I'm running the RefOS project on arm kzm board.  The config file is kzm_debug_defconfig. I am tring to set two domains in  the RefOS by changing the CONFIG_NUM_DOMAIN parameter  from 1 to 2 in this file and  rebuilt RefOS. When running RefOS it gets stucked and some servers cannot be initialized.How to resolve this bug?