|
@@ -586,6 +586,23 @@ int initr_mem(void)
|
|
|
}
|
|
|
#endif
|
|
|
|
|
|
+static int dm_announce(void)
|
|
|
+{
|
|
|
+ int device_count;
|
|
|
+ int uclass_count;
|
|
|
+
|
|
|
+ if (IS_ENABLED(CONFIG_DM)) {
|
|
|
+ dm_get_stats(&device_count, &uclass_count);
|
|
|
+ printf("Core: %d devices, %d uclasses", device_count,
|
|
|
+ uclass_count);
|
|
|
+ if (CONFIG_IS_ENABLED(OF_REAL))
|
|
|
+ printf(", devicetree: %s", fdtdec_get_srcname());
|
|
|
+ printf("\n");
|
|
|
+ }
|
|
|
+
|
|
|
+ return 0;
|
|
|
+}
|
|
|
+
|
|
|
static int run_main_loop(void)
|
|
|
{
|
|
|
#ifdef CONFIG_SANDBOX
|
|
@@ -661,6 +678,7 @@ static init_fnc_t init_sequence_r[] = {
|
|
|
stdio_init_tables,
|
|
|
serial_initialize,
|
|
|
initr_announce,
|
|
|
+ dm_announce,
|
|
|
#if CONFIG_IS_ENABLED(WDT)
|
|
|
initr_watchdog,
|
|
|
#endif
|