| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #include <arch/cpu.h> | |
| #include <console/console.h> | |
| #include <timestamp.h> | |
| #include <romstage_common.h> | |
| asmlinkage void car_stage_entry(void) | |
| { | |
| timestamp_add_now(TS_ROMSTAGE_START); | |
| /* Assumes the hardware was set up during the bootblock */ | |
| console_init(); | |
| romstage_main(); | |
| } |