Mark kernel start before booting. If enabled, show a bootstage report.

Signed-off-by: Simon Glass <[email protected]>
---

Changes in v2:
- Drop the EFI change

 boot/bootm_final.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/boot/bootm_final.c b/boot/bootm_final.c
index 71661334e11..dd7cac55f1e 100644
--- a/boot/bootm_final.c
+++ b/boot/bootm_final.c
@@ -6,11 +6,17 @@
  */
 
 #include <bootm.h>
+#include <bootstage.h>
 #include <dm/root.h>
 
 void bootm_final(enum bootm_final_t flags)
 {
        printf("\nStarting kernel ...\n\n");
 
+       bootstage_mark_name(BOOTSTAGE_ID_BOOTM_HANDOFF, "start_kernel");
+
+       if (IS_ENABLED(CONFIG_BOOTSTAGE_REPORT))
+               bootstage_report();
+
        dm_remove_devices_active();
 }
-- 
2.43.0

Reply via email to