blob: 72979cd9de7772fc6f882c857076a432cb8448fa [file] [log] [blame]
Summer Qin9db8f2e2017-04-24 16:49:28 +01001/*
Etienne Carriered3e31e72019-04-15 18:01:29 +02002 * Copyright (c) 2017-2021, ARM Limited and Contributors. All rights reserved.
Summer Qin9db8f2e2017-04-24 16:49:28 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Summer Qin9db8f2e2017-04-24 16:49:28 +01007#include <assert.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +00008
Antonio Nino Diaze0f90632018-12-14 00:18:21 +00009#include <common/debug.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000010#include <lib/optee_utils.h>
Summer Qin9db8f2e2017-04-24 16:49:28 +010011
12/*
13 * load_addr_hi and load_addr_lo: image load address.
14 * image_id: 0 - pager, 1 - paged
15 * size: image size in bytes.
16 */
17typedef struct optee_image {
18 uint32_t load_addr_hi;
19 uint32_t load_addr_lo;
20 uint32_t image_id;
21 uint32_t size;
22} optee_image_t;
23
24#define OPTEE_PAGER_IMAGE_ID 0
25#define OPTEE_PAGED_IMAGE_ID 1
nathan-menhorn9e845e52018-07-17 09:08:30 -060026
27#define OPTEE_MAX_NUM_IMAGES 2u
Summer Qin9db8f2e2017-04-24 16:49:28 +010028
29#define TEE_MAGIC_NUM_OPTEE 0x4554504f
30/*
31 * magic: header magic number.
32 * version: OPTEE header version:
nathan-menhorn9e845e52018-07-17 09:08:30 -060033 * 1 - not supported
34 * 2 - supported
Summer Qin9db8f2e2017-04-24 16:49:28 +010035 * arch: OPTEE os architecture type: 0 - AARCH32, 1 - AARCH64.
36 * flags: unused currently.
37 * nb_images: number of images.
38 */
39typedef struct optee_header {
40 uint32_t magic;
41 uint8_t version;
42 uint8_t arch;
43 uint16_t flags;
44 uint32_t nb_images;
Daniel Boulbyc5259cc2018-05-15 11:41:55 +010045 optee_image_t optee_image_list[];
Summer Qin9db8f2e2017-04-24 16:49:28 +010046} optee_header_t;
47
48/*******************************************************************************
49 * Check if it is a valid tee header
Etienne Carriered3e31e72019-04-15 18:01:29 +020050 * Return true if valid
51 * Return false if invalid
Summer Qin9db8f2e2017-04-24 16:49:28 +010052 ******************************************************************************/
Etienne Carriered3e31e72019-04-15 18:01:29 +020053static bool tee_validate_header(optee_header_t *header)
Summer Qin9db8f2e2017-04-24 16:49:28 +010054{
Daniel Boulbyc5259cc2018-05-15 11:41:55 +010055 if ((header->magic == TEE_MAGIC_NUM_OPTEE) &&
nathan-menhorn9e845e52018-07-17 09:08:30 -060056 (header->version == 2u) &&
57 (header->nb_images > 0u) &&
58 (header->nb_images <= OPTEE_MAX_NUM_IMAGES)) {
Etienne Carriered3e31e72019-04-15 18:01:29 +020059 return true;
Summer Qin9db8f2e2017-04-24 16:49:28 +010060 }
61
Etienne Carriered3e31e72019-04-15 18:01:29 +020062 return false;
63}
nathan-menhorn9e845e52018-07-17 09:08:30 -060064
Etienne Carriered3e31e72019-04-15 18:01:29 +020065bool optee_header_is_valid(uintptr_t header_base)
66{
67 return tee_validate_header((optee_header_t *)header_base);
Summer Qin9db8f2e2017-04-24 16:49:28 +010068}
69
70/*******************************************************************************
71 * Parse the OPTEE image
72 * Return 0 on success or a negative error code otherwise.
73 ******************************************************************************/
74static int parse_optee_image(image_info_t *image_info,
Daniel Boulbyc5259cc2018-05-15 11:41:55 +010075 optee_image_t *image)
Summer Qin9db8f2e2017-04-24 16:49:28 +010076{
77 uintptr_t init_load_addr, free_end, requested_end;
78 size_t init_size;
79
Daniel Boulbyc5259cc2018-05-15 11:41:55 +010080 init_load_addr = ((uint64_t)image->load_addr_hi << 32) |
81 image->load_addr_lo;
82 init_size = image->size;
Summer Qin9db8f2e2017-04-24 16:49:28 +010083
84 /*
Yann Gautier1f6fd3d2020-11-10 14:47:04 +010085 * image->load_addr_hi & image->load_addr_lo set to UINT32_MAX indicate
86 * loader decided address; take our pre-mapped area for current image
87 * since arm-tf could not allocate memory dynamically
Summer Qin9db8f2e2017-04-24 16:49:28 +010088 */
Yann Gautier1f6fd3d2020-11-10 14:47:04 +010089 if ((image->load_addr_hi == UINT32_MAX) &&
90 (image->load_addr_lo == UINT32_MAX)) {
Summer Qin9db8f2e2017-04-24 16:49:28 +010091 init_load_addr = image_info->image_base;
Yann Gautier1f6fd3d2020-11-10 14:47:04 +010092 }
Summer Qin9db8f2e2017-04-24 16:49:28 +010093
94 /* Check that the default end address doesn't overflow */
95 if (check_uptr_overflow(image_info->image_base,
96 image_info->image_max_size - 1))
97 return -1;
98 free_end = image_info->image_base + (image_info->image_max_size - 1);
99
100 /* Check that the image end address doesn't overflow */
101 if (check_uptr_overflow(init_load_addr, init_size - 1))
102 return -1;
103 requested_end = init_load_addr + (init_size - 1);
104 /*
105 * Check that the requested RAM location is within reserved
106 * space for OPTEE.
107 */
108 if (!((init_load_addr >= image_info->image_base) &&
109 (requested_end <= free_end))) {
110 WARN("The load address in optee header %p - %p is not in reserved area: %p - %p.\n",
111 (void *)init_load_addr,
112 (void *)(init_load_addr + init_size),
113 (void *)image_info->image_base,
114 (void *)(image_info->image_base +
115 image_info->image_max_size));
116 return -1;
117 }
118
119 /*
120 * Remove the skip attr from image_info, the image will be loaded.
121 * The default attr in image_info is "IMAGE_ATTRIB_SKIP_LOADING", which
122 * mean the image will not be loaded. Here, we parse the header image to
123 * know that the extra image need to be loaded, so remove the skip attr.
124 */
125 image_info->h.attr &= ~IMAGE_ATTRIB_SKIP_LOADING;
126
127 /* Update image base and size of image_info */
128 image_info->image_base = init_load_addr;
129 image_info->image_size = init_size;
130
131 return 0;
132}
133
134/*******************************************************************************
135 * Parse the OPTEE header
136 * Return 0 on success or a negative error code otherwise.
137 ******************************************************************************/
138int parse_optee_header(entry_point_info_t *header_ep,
139 image_info_t *pager_image_info,
140 image_info_t *paged_image_info)
141
142{
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100143 optee_header_t *header;
Yann Gautier1f6fd3d2020-11-10 14:47:04 +0100144 uint32_t num;
145 int ret;
Summer Qin9db8f2e2017-04-24 16:49:28 +0100146
147 assert(header_ep);
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100148 header = (optee_header_t *)header_ep->pc;
149 assert(header);
Summer Qin9db8f2e2017-04-24 16:49:28 +0100150
Victor Chongeb3dcd62018-01-26 16:10:07 +0900151 /* Print the OPTEE header information */
152 INFO("OPTEE ep=0x%x\n", (unsigned int)header_ep->pc);
153 INFO("OPTEE header info:\n");
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100154 INFO(" magic=0x%x\n", header->magic);
155 INFO(" version=0x%x\n", header->version);
156 INFO(" arch=0x%x\n", header->arch);
157 INFO(" flags=0x%x\n", header->flags);
158 INFO(" nb_images=0x%x\n", header->nb_images);
Victor Chongeb3dcd62018-01-26 16:10:07 +0900159
Summer Qin9db8f2e2017-04-24 16:49:28 +0100160 /*
161 * OPTEE image has 3 types:
162 *
163 * 1. Plain OPTEE bin without header.
164 * Original bin without header, return directly,
165 * BL32_EXTRA1_IMAGE_ID and BL32_EXTRA2_IMAGE_ID will be skipped.
166 *
167 * 2. OPTEE bin with header bin, but no paging.
168 * Header available and nb_images = 1, remove skip attr for
169 * BL32_EXTRA1_IMAGE_ID. BL32_EXTRA1_IMAGE_ID will be loaded,
170 * and BL32_EXTRA2_IMAGE_ID be skipped.
171 *
172 * 3. OPTEE image with paging support.
173 * Header available and nb_images = 2, there are 3 bins: header,
174 * pager and pageable. Remove skip attr for BL32_EXTRA1_IMAGE_ID
175 * and BL32_EXTRA2_IMAGE_ID to load pager and paged bin.
176 */
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100177 if (!tee_validate_header(header)) {
Etienne Carrieredc8bbb42018-02-05 10:42:42 +0100178 INFO("Invalid OPTEE header, set legacy mode.\n");
Julius Werner8e0ef0f2019-07-09 14:02:43 -0700179#ifdef __aarch64__
Summer Qin9db8f2e2017-04-24 16:49:28 +0100180 header_ep->args.arg0 = MODE_RW_64;
Etienne Carrieredc8bbb42018-02-05 10:42:42 +0100181#else
182 header_ep->args.arg0 = MODE_RW_32;
183#endif
Summer Qin9db8f2e2017-04-24 16:49:28 +0100184 return 0;
185 }
186
Summer Qin9db8f2e2017-04-24 16:49:28 +0100187 /* Parse OPTEE image */
Yann Gautier1f6fd3d2020-11-10 14:47:04 +0100188 for (num = 0U; num < header->nb_images; num++) {
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100189 if (header->optee_image_list[num].image_id ==
Summer Qin9db8f2e2017-04-24 16:49:28 +0100190 OPTEE_PAGER_IMAGE_ID) {
191 ret = parse_optee_image(pager_image_info,
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100192 &header->optee_image_list[num]);
193 } else if (header->optee_image_list[num].image_id ==
Summer Qin9db8f2e2017-04-24 16:49:28 +0100194 OPTEE_PAGED_IMAGE_ID) {
195 ret = parse_optee_image(paged_image_info,
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100196 &header->optee_image_list[num]);
Summer Qin9db8f2e2017-04-24 16:49:28 +0100197 } else {
198 ERROR("Parse optee image failed.\n");
199 return -1;
200 }
201
202 if (ret != 0)
203 return -1;
204 }
205
206 /*
207 * Update "pc" value which should comes from pager image. After the
208 * header image is parsed, it will be unuseful, and the actual
209 * execution image after BL31 is pager image.
210 */
211 header_ep->pc = pager_image_info->image_base;
212
213 /*
214 * The paged load address and size are populated in
215 * header image arguments so that can be read by the
216 * BL32 SPD.
217 */
218 header_ep->args.arg1 = paged_image_info->image_base;
219 header_ep->args.arg2 = paged_image_info->image_size;
220
221 /* Set OPTEE runtime arch - aarch32/aarch64 */
Daniel Boulbyc5259cc2018-05-15 11:41:55 +0100222 if (header->arch == 0) {
Summer Qin9db8f2e2017-04-24 16:49:28 +0100223 header_ep->args.arg0 = MODE_RW_32;
Etienne Carrieredc8bbb42018-02-05 10:42:42 +0100224 } else {
Julius Werner8e0ef0f2019-07-09 14:02:43 -0700225#ifdef __aarch64__
Summer Qin9db8f2e2017-04-24 16:49:28 +0100226 header_ep->args.arg0 = MODE_RW_64;
Etienne Carrieredc8bbb42018-02-05 10:42:42 +0100227#else
228 ERROR("Cannot boot an AArch64 OP-TEE\n");
229 return -1;
230#endif
231 }
Summer Qin9db8f2e2017-04-24 16:49:28 +0100232
233 return 0;
234}