diff options
author | Xenia Ragiadakou | 2022-06-26 21:45:35 +0300 |
---|---|---|
committer | Stefano Stabellini | 2022-06-28 17:28:54 -0700 |
commit | 8080718b8a8c94841155ead67bfb22cbd8e4840f (patch) | |
tree | 28b65247b836590ded9a68e4d7bead651d3ac347 /docker-extras/imagebuilder_run | |
parent | d7ed86141dfed993c15bc0d81dce0426169a176f (diff) |
uboot-script-gen: prevent user mistakes due to DOM0_KERNEL becoming optional
Before enabling true dom0less configuration, the script was failing instantly
if DOM0_KERNEL parameter was not specified. This behaviour has changed and
this needs to be communicated to the user.
Mention in README.md that for dom0less configurations, the parameter
DOM0_KERNEL is optional.
If DOM0_KERNEL is not set, check that no other dom0 specific parameters are
specified by the user. Fail the script early with an appropriate error
message, if it was invoked with erroneous configuration settings.
Change message "Dom0 kernel is not specified, continue with dom0less setup."
to "Dom0 kernel is not specified, continue with true dom0less setup."
to refer more accurately to a dom0less setup without dom0.
Signed-off-by: Xenia Ragiadakou <burzalodowa@gmail.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Diffstat (limited to 'docker-extras/imagebuilder_run')
0 files changed, 0 insertions, 0 deletions