Hi Daniel, > -----Original Message----- > Subject: [PATCH v1 08/18] kconfig: introduce domain builder config option > > Hyperlaunch domain builder is the consolidated boot time domain building > logic > framework. This commit introduces the first config option for the domain > builder to control support for loading the domain configurations via the > flattened device tree. > > Signed-off-by: Daniel P. Smith <dpsm...@apertussolutions.com> > Reviewed-by: Christopher Clark <christopher.cl...@starlab.io>
Reviewed-by: Henry Wang <henry.w...@arm.com> Kind regards, Henry > --- > xen/common/Kconfig | 1 + > xen/common/domain-builder/Kconfig | 15 +++++++++++++++
