From f090e2563a1de2773a0c142398e7d876dc84ab19 Mon Sep 17 00:00:00 2001 From: Tomasz Bursztyka Date: Thu, 26 Mar 2020 08:13:05 +0100 Subject: [PATCH] shell: Fix device service module There is a new init level SMP that was just added, and this module needs to take it into account. Signed-off-by: Tomasz Bursztyka --- subsys/shell/modules/device_service.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/subsys/shell/modules/device_service.c b/subsys/shell/modules/device_service.c index eb27182b6c0..4d6f799275d 100644 --- a/subsys/shell/modules/device_service.c +++ b/subsys/shell/modules/device_service.c @@ -17,11 +17,18 @@ extern struct device __device_POST_KERNEL_start[]; extern struct device __device_APPLICATION_start[]; extern struct device __device_init_end[]; +#ifdef CONFIG_SMP +extern struct device __device_SMP_start[]; +#endif + static struct device *config_levels[] = { __device_PRE_KERNEL_1_start, __device_PRE_KERNEL_2_start, __device_POST_KERNEL_start, __device_APPLICATION_start, +#ifdef CONFIG_SMP + __device_SMP_start, +#endif /* End marker */ __device_init_end, };