riscv/kernel/boot.c

7 #include <assert.h>
8 #include <compiler.h>
9 #include <config.h>
10 #include <console.h>
11 #include <keep.h>
12 #include <kernel/boot.h>
13 #include <kernel/dt.h>
14 #include <kernel/linker.h>
15 #include <kernel/misc.h>
16 #include <kernel/panic.h>
17 #include <kernel/thread.h>
18 #include <libfdt.h>
19 #include <mm/core_memprot.h>
20 #include <mm/core_mmu.h>
21 #include <mm/page_alloc.h>
22 #include <mm/tee_mm.h>
23 #include <mm/tee_pager.h>
24 #include <platform_config.h>
25 #include <riscv.h>
26 #include <rng_support.h>
27 #include <sbi.h>
28 #include <stdalign.h>
29 #include <stdio.h>
30 #include <trace.h>
31 #include <util.h>