bd57096c36
Mark kernel start before booting. If enabled, show a bootstage report. Signed-off-by: Simon Glass <sjg@chromium.org>
23 lines
448 B
C
23 lines
448 B
C
// SPDX-License-Identifier: GPL-2.0+
|
|
/*
|
|
* Cleanup before handing off to the OS
|
|
*
|
|
* Copyright 2025 Simon Glass <sjg@chromium.org>
|
|
*/
|
|
|
|
#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();
|
|
}
|