1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3 * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/
4 * Andrew F. Davis <afd@ti.com>
5 */
6
7 #include <platform_config.h>
8
9 #include <console.h>
10 #include <drivers/gic.h>
11 #include <drivers/sec_proxy.h>
12 #include <drivers/serial8250_uart.h>
13 #include <drivers/ti_sci.h>
14 #include <kernel/boot.h>
15 #include <kernel/interrupt.h>
16 #include <kernel/panic.h>
17 #include <kernel/tee_common_otp.h>
18 #include <mm/core_memprot.h>
19 #include <mm/tee_pager.h>
20 #include <platform_config.h>
21 #include <stdint.h>
22 #include <string_ext.h>
23
24 static struct gic_data gic_data;
25 static struct serial8250_uart_data console_data;
26
27 register_phys_mem_pgdir(MEM_AREA_IO_SEC, GICC_BASE, GICC_SIZE);
28 register_phys_mem_pgdir(MEM_AREA_IO_SEC, GICD_BASE, GICD_SIZE);
29 register_phys_mem_pgdir(MEM_AREA_IO_NSEC, CONSOLE_UART_BASE,
30 SERIAL8250_UART_REG_SIZE);
31 register_phys_mem_pgdir(MEM_AREA_IO_SEC, SEC_PROXY_DATA_BASE,
32 SEC_PROXY_DATA_SIZE);
33 register_phys_mem_pgdir(MEM_AREA_IO_SEC, SEC_PROXY_SCFG_BASE,
34 SEC_PROXY_SCFG_SIZE);
35 register_phys_mem_pgdir(MEM_AREA_IO_SEC, SEC_PROXY_RT_BASE, SEC_PROXY_RT_SIZE);
36 register_ddr(DRAM0_BASE, DRAM0_SIZE);
37 register_ddr(DRAM1_BASE, DRAM1_SIZE);
38
main_init_gic(void)39 void main_init_gic(void)
40 {
41 gic_init_base_addr(&gic_data, GICC_BASE, GICD_BASE);
42 itr_init(&gic_data.chip);
43 }
44
main_secondary_init_gic(void)45 void main_secondary_init_gic(void)
46 {
47 gic_cpu_init(&gic_data);
48 }
49
itr_core_handler(void)50 void itr_core_handler(void)
51 {
52 gic_it_handle(&gic_data);
53 }
54
console_init(void)55 void console_init(void)
56 {
57 serial8250_uart_init(&console_data, CONSOLE_UART_BASE,
58 CONSOLE_UART_CLK_IN_HZ, CONSOLE_BAUDRATE);
59 register_serial_console(&console_data.chip);
60 }
61
init_ti_sci(void)62 static TEE_Result init_ti_sci(void)
63 {
64 TEE_Result ret = TEE_SUCCESS;
65
66 ret = k3_sec_proxy_init();
67 if (ret != TEE_SUCCESS)
68 return ret;
69
70 ret = ti_sci_init();
71 if (ret)
72 return TEE_ERROR_GENERIC;
73
74 return TEE_SUCCESS;
75 }
76 service_init(init_ti_sci);
77
tee_otp_get_hw_unique_key(struct tee_hw_unique_key * hwkey)78 TEE_Result tee_otp_get_hw_unique_key(struct tee_hw_unique_key *hwkey)
79 {
80 uint8_t dkek[SA2UL_DKEK_KEY_LEN] = { };
81 int ret = 0;
82
83 assert(SA2UL_DKEK_KEY_LEN >= HW_UNIQUE_KEY_LENGTH);
84
85 ret = ti_sci_get_dkek(0, "OP-TEE", "DKEK", dkek);
86 if (ret) {
87 EMSG("Could not get HUK");
88 return TEE_ERROR_SECURITY;
89 }
90
91 memcpy(&hwkey->data[0], dkek, sizeof(hwkey->data));
92 memzero_explicit(&dkek, sizeof(dkek));
93
94 IMSG("HUK Initialized");
95
96 return TEE_SUCCESS;
97 }
98