blob: 54fa97d9270a7f7fdd227645bbabd8e3311232ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <arch/exception.h>
#include <cbmem.h>
#include <soc/sdram.h>
#include <soc/timer.h>
#include <soc/mmu.h>
#include <console/console.h>
#include <program_loading.h>
#include <libbdk-hal/bdk-config.h>
#include <arch/stages.h>
extern const struct bdk_devicetree_key_value devtree[];
void platform_romstage_main(void)
{
watchdog_poke(0);
console_init();
exception_init();
bdk_config_set_fdt(devtree);
sdram_init();
soc_mmu_init();
watchdog_poke(0);
cbmem_initialize_empty();
run_ramstage();
}
|