add build kerneldeb

hc

2023-11-23 7d07b3ae8ddad407913c5301877e694430a3263f

 u-boot/arch/arm/lib/bootm.c
..
..
@@ -22,6 +22,7 @@
22
22
 #include <asm/byteorder.h>
23
23
 #include <linux/libfdt.h>
24
24
 #include <mapmem.h>
25
+#include <mp_boot.h>
25
26
 #include <fdt_support.h>
26
27
 #include <asm/bootm.h>
27
28
 #include <asm/secure.h>
..
..
@@ -80,7 +81,7 @@
80
81
  */
81
82
 static void announce_and_cleanup(bootm_headers_t *images, int fake)
82
83
 {
83
-	ulong us;
84
+	ulong us, tt_us;
84
85
 
85
86
 	bootstage_mark_name(BOOTSTAGE_ID_BOOTM_HANDOFF, "start_kernel");
86
87
 #ifdef CONFIG_BOOTSTAGE_FDT
..
..
@@ -108,8 +109,12 @@
108
109
 
109
110
 	cleanup_before_linux();
110
111
 
112
+#ifdef CONFIG_MP_BOOT
113
+	mpb_post(4);
114
+#endif
111
115
 	us = (get_ticks() - gd->sys_start_tick) / (COUNTER_FREQUENCY / 1000000);
112
-	printf("Total: %ld.%ld ms\n", us / 1000, us % 1000);
116
+	tt_us = get_ticks() / (COUNTER_FREQUENCY / 1000000);
117
+	printf("Total: %ld.%ld/%ld.%ld ms\n", us / 1000, us % 1000, tt_us / 1000, tt_us % 1000);
113
118
 
114
119
 	printf("\nStarting kernel ...%s\n\n", fake ?
115
120
 		"(fake run for tracing)" : "");