300fda03c2
The XEN_INITIAL_DOMAIN option was defined at board level, however, some drivers such as the XEN serial driver has dependencies on XEN_INITIAL_DOMAIN, meaning any new board has to define its own copy of XEN_INITIAL_DOMAIN. Move the option to SoC Kconfig. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no> |
||
---|---|---|
.. | ||
arm | ||
bcm_vk | ||
intel_socfpga | ||
nxp_layerscape | ||
qemu_cortex_a53 | ||
xenvm | ||
CMakeLists.txt | ||
Kconfig |