diff options
| author | Ayan Kumar Halder | 2021-12-15 18:01:01 +0000 |
|---|---|---|
| committer | Stefano Stabellini | 2021-12-15 13:50:22 -0800 |
| commit | dd6fdb71a5bdde8022f03cc9fd42e47cf762fa66 (patch) | |
| tree | c1505b2f3df95e233aca1ef0bafb9271984a90d4 /.gitignore | |
| parent | 7ba9b416b052b4272c8bfc4c4f630ba39d8c8dd3 (diff) | |
Return an error if DOMU_KERNEL[] is not defined
DOMU_KERNEL[] needs to be defined in the config file. If this is not
defined, then the user has specified an incorrect number for
NUM_DOMUS.
Signed-off-by: Ayan Kumar Halder <ayankuma@xilinx.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Signed-off-by: Stefano Stabellini <stefano.stabellini@xilinx.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions