1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3 * Copyright (c) 2018, Linaro Limited
4 */
5
6 #include <arm.h>
7 #include <console.h>
8 #include <drivers/gic.h>
9 #include <drivers/pl011.h>
10 #include <io.h>
11 #include <kernel/boot.h>
12 #include <kernel/interrupt.h>
13 #include <kernel/misc.h>
14 #include <kernel/panic.h>
15 #include <kernel/thread.h>
16 #include <kernel/timer.h>
17 #include <mm/core_memprot.h>
18 #include <platform_config.h>
19 #include <rng_pta.h>
20 #include <sm/optee_smc.h>
21
22 static struct gic_data gic_data;
23 static struct pl011_data console_data;
24
25 register_phys_mem_pgdir(MEM_AREA_IO_NSEC, CONSOLE_UART_BASE,
26 CORE_MMU_PGDIR_SIZE);
27 register_phys_mem_pgdir(MEM_AREA_IO_SEC, GIC_BASE, CORE_MMU_PGDIR_SIZE);
28 register_phys_mem_pgdir(MEM_AREA_IO_SEC, THERMAL_SENSOR_BASE,
29 CORE_MMU_PGDIR_SIZE);
30
itr_core_handler(void)31 void itr_core_handler(void)
32 {
33 gic_it_handle(&gic_data);
34 }
35
console_init(void)36 void console_init(void)
37 {
38 pl011_init(&console_data, CONSOLE_UART_BASE, CONSOLE_UART_CLK_IN_HZ,
39 CONSOLE_BAUDRATE);
40 register_serial_console(&console_data.chip);
41 }
42
main_init_gic(void)43 void main_init_gic(void)
44 {
45 vaddr_t gicd_base;
46
47 gicd_base = (vaddr_t)phys_to_virt(GIC_BASE + GICD_OFFSET,
48 MEM_AREA_IO_SEC, 1);
49
50 if (!gicd_base)
51 panic();
52
53 /* On ARMv8-A, GIC configuration is initialized in TF-A */
54 gic_init_base_addr(&gic_data, 0, gicd_base);
55
56 itr_init(&gic_data.chip);
57 }
58
timer_itr_cb(struct itr_handler * h __unused)59 static enum itr_return timer_itr_cb(struct itr_handler *h __unused)
60 {
61 /* Reset timer for next FIQ */
62 generic_timer_handler(TIMER_PERIOD_MS);
63
64 /* Collect entropy on each timer FIQ */
65 rng_collect_entropy();
66
67 return ITRR_HANDLED;
68 }
69
70 static struct itr_handler timer_itr = {
71 .it = IT_SEC_TIMER,
72 .flags = ITRF_TRIGGER_LEVEL,
73 .handler = timer_itr_cb,
74 };
75
init_timer_itr(void)76 static TEE_Result init_timer_itr(void)
77 {
78 itr_add(&timer_itr);
79 itr_enable(IT_SEC_TIMER);
80
81 /* Enable timer FIQ to fetch entropy required during boot */
82 generic_timer_start(TIMER_PERIOD_MS);
83
84 return TEE_SUCCESS;
85 }
86 driver_init(init_timer_itr);
87