elf.c revision 1.6 1 1.6 maxv /* $NetBSD: elf.c,v 1.6 2017/11/01 17:00:17 maxv Exp $ */
2 1.1 maxv
3 1.1 maxv /*
4 1.1 maxv * Copyright (c) 2017 The NetBSD Foundation, Inc. All rights reserved.
5 1.1 maxv *
6 1.1 maxv * This code is derived from software contributed to The NetBSD Foundation
7 1.1 maxv * by Maxime Villard.
8 1.1 maxv *
9 1.1 maxv * Redistribution and use in source and binary forms, with or without
10 1.1 maxv * modification, are permitted provided that the following conditions
11 1.1 maxv * are met:
12 1.1 maxv * 1. Redistributions of source code must retain the above copyright
13 1.1 maxv * notice, this list of conditions and the following disclaimer.
14 1.1 maxv * 2. Redistributions in binary form must reproduce the above copyright
15 1.1 maxv * notice, this list of conditions and the following disclaimer in the
16 1.1 maxv * documentation and/or other materials provided with the distribution.
17 1.1 maxv *
18 1.1 maxv * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
19 1.1 maxv * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
20 1.1 maxv * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
21 1.1 maxv * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
22 1.1 maxv * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 1.1 maxv * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 1.1 maxv * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 1.1 maxv * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 1.1 maxv * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 1.1 maxv * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 1.1 maxv * POSSIBILITY OF SUCH DAMAGE.
29 1.1 maxv */
30 1.1 maxv
31 1.1 maxv #define ELFSIZE 64
32 1.1 maxv
33 1.1 maxv #include "prekern.h"
34 1.1 maxv #include <sys/exec_elf.h>
35 1.1 maxv
36 1.1 maxv struct elfinfo {
37 1.1 maxv Elf_Ehdr *ehdr;
38 1.1 maxv Elf_Shdr *shdr;
39 1.1 maxv char *shstrtab;
40 1.1 maxv size_t shstrsz;
41 1.1 maxv Elf_Sym *symtab;
42 1.1 maxv size_t symcnt;
43 1.1 maxv char *strtab;
44 1.1 maxv size_t strsz;
45 1.1 maxv struct {
46 1.1 maxv vaddr_t va;
47 1.1 maxv size_t sz;
48 1.1 maxv } text;
49 1.1 maxv struct {
50 1.1 maxv vaddr_t va;
51 1.1 maxv size_t sz;
52 1.1 maxv } rodata;
53 1.1 maxv struct {
54 1.1 maxv vaddr_t va;
55 1.1 maxv size_t sz;
56 1.1 maxv } data;
57 1.1 maxv };
58 1.1 maxv
59 1.4 maxv extern paddr_t kernpa_start, kernpa_end;
60 1.4 maxv
61 1.1 maxv static struct elfinfo eif;
62 1.1 maxv static const char entrypoint[] = "start_prekern";
63 1.1 maxv
64 1.1 maxv /* XXX */
65 1.1 maxv static int
66 1.1 maxv memcmp(const char *a, const char *b, size_t c)
67 1.1 maxv {
68 1.1 maxv size_t i;
69 1.1 maxv for (i = 0; i < c; i++) {
70 1.1 maxv if (a[i] != b[i])
71 1.1 maxv return 1;
72 1.1 maxv }
73 1.1 maxv return 0;
74 1.1 maxv }
75 1.1 maxv static int
76 1.1 maxv strcmp(char *a, char *b)
77 1.1 maxv {
78 1.1 maxv size_t i;
79 1.1 maxv for (i = 0; a[i] != '\0'; i++) {
80 1.1 maxv if (a[i] != b[i])
81 1.1 maxv return 1;
82 1.1 maxv }
83 1.1 maxv return 0;
84 1.1 maxv }
85 1.1 maxv
86 1.1 maxv
87 1.1 maxv static int
88 1.1 maxv elf_check_header()
89 1.1 maxv {
90 1.1 maxv if (memcmp((char *)eif.ehdr->e_ident, ELFMAG, SELFMAG) != 0 ||
91 1.2 maxv eif.ehdr->e_ident[EI_CLASS] != ELFCLASS ||
92 1.2 maxv eif.ehdr->e_type != ET_REL) {
93 1.1 maxv return -1;
94 1.1 maxv }
95 1.1 maxv return 0;
96 1.1 maxv }
97 1.1 maxv
98 1.1 maxv static vaddr_t
99 1.1 maxv elf_get_entrypoint()
100 1.1 maxv {
101 1.1 maxv Elf_Sym *sym;
102 1.1 maxv size_t i;
103 1.1 maxv char *buf;
104 1.1 maxv
105 1.1 maxv for (i = 0; i < eif.symcnt; i++) {
106 1.1 maxv sym = &eif.symtab[i];
107 1.1 maxv
108 1.1 maxv if (ELF_ST_TYPE(sym->st_info) != STT_FUNC)
109 1.1 maxv continue;
110 1.1 maxv if (sym->st_name == 0)
111 1.1 maxv continue;
112 1.1 maxv if (sym->st_shndx == SHN_UNDEF)
113 1.1 maxv continue; /* Skip external references */
114 1.1 maxv buf = eif.strtab + sym->st_name;
115 1.1 maxv
116 1.1 maxv if (!memcmp(buf, entrypoint, sizeof(entrypoint))) {
117 1.1 maxv return (vaddr_t)sym->st_value;
118 1.1 maxv }
119 1.1 maxv }
120 1.1 maxv
121 1.1 maxv return 0;
122 1.1 maxv }
123 1.1 maxv
124 1.1 maxv static Elf_Shdr *
125 1.1 maxv elf_find_section(char *name)
126 1.1 maxv {
127 1.1 maxv char *buf;
128 1.1 maxv size_t i;
129 1.1 maxv
130 1.1 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
131 1.1 maxv if (eif.shdr[i].sh_name == 0) {
132 1.1 maxv continue;
133 1.1 maxv }
134 1.1 maxv buf = eif.shstrtab + eif.shdr[i].sh_name;
135 1.1 maxv if (!strcmp(name, buf)) {
136 1.1 maxv return &eif.shdr[i];
137 1.1 maxv }
138 1.1 maxv }
139 1.1 maxv
140 1.1 maxv return NULL;
141 1.1 maxv }
142 1.1 maxv
143 1.1 maxv static uintptr_t
144 1.1 maxv elf_sym_lookup(size_t symidx)
145 1.1 maxv {
146 1.1 maxv const Elf_Sym *sym;
147 1.1 maxv char *buf, *secname;
148 1.1 maxv Elf_Shdr *sec;
149 1.1 maxv
150 1.6 maxv if (symidx == STN_UNDEF) {
151 1.6 maxv return 0;
152 1.6 maxv }
153 1.6 maxv
154 1.1 maxv if (symidx >= eif.symcnt) {
155 1.1 maxv fatal("elf_sym_lookup: symbol beyond table");
156 1.1 maxv }
157 1.1 maxv sym = &eif.symtab[symidx];
158 1.1 maxv buf = eif.strtab + sym->st_name;
159 1.1 maxv
160 1.1 maxv if (sym->st_shndx == SHN_UNDEF) {
161 1.1 maxv if (!memcmp(buf, "__start_link_set", 16)) {
162 1.1 maxv secname = buf + 8;
163 1.1 maxv sec = elf_find_section(secname);
164 1.1 maxv if (sec == NULL) {
165 1.1 maxv fatal("elf_sym_lookup: unknown start link set");
166 1.1 maxv }
167 1.1 maxv return (uintptr_t)((uint8_t *)eif.ehdr +
168 1.1 maxv sec->sh_offset);
169 1.1 maxv }
170 1.1 maxv if (!memcmp(buf, "__stop_link_set", 15)) {
171 1.1 maxv secname = buf + 7;
172 1.1 maxv sec = elf_find_section(secname);
173 1.1 maxv if (sec == NULL) {
174 1.1 maxv fatal("elf_sym_lookup: unknown stop link set");
175 1.1 maxv }
176 1.1 maxv return (uintptr_t)((uint8_t *)eif.ehdr +
177 1.1 maxv sec->sh_offset + sec->sh_size);
178 1.1 maxv }
179 1.1 maxv
180 1.1 maxv fatal("elf_sym_lookup: external symbol");
181 1.1 maxv }
182 1.1 maxv if (sym->st_value == 0) {
183 1.1 maxv fatal("elf_sym_lookup: zero value");
184 1.1 maxv }
185 1.1 maxv return (uintptr_t)sym->st_value;
186 1.1 maxv }
187 1.1 maxv
188 1.1 maxv static void
189 1.1 maxv elf_apply_reloc(uintptr_t relocbase, const void *data, bool isrela)
190 1.1 maxv {
191 1.1 maxv Elf64_Addr *where, val;
192 1.1 maxv Elf32_Addr *where32, val32;
193 1.1 maxv Elf64_Addr addr;
194 1.1 maxv Elf64_Addr addend;
195 1.1 maxv uintptr_t rtype, symidx;
196 1.1 maxv const Elf_Rel *rel;
197 1.1 maxv const Elf_Rela *rela;
198 1.1 maxv
199 1.1 maxv if (isrela) {
200 1.1 maxv rela = (const Elf_Rela *)data;
201 1.1 maxv where = (Elf64_Addr *)(relocbase + rela->r_offset);
202 1.1 maxv addend = rela->r_addend;
203 1.1 maxv rtype = ELF_R_TYPE(rela->r_info);
204 1.1 maxv symidx = ELF_R_SYM(rela->r_info);
205 1.1 maxv } else {
206 1.1 maxv rel = (const Elf_Rel *)data;
207 1.1 maxv where = (Elf64_Addr *)(relocbase + rel->r_offset);
208 1.1 maxv rtype = ELF_R_TYPE(rel->r_info);
209 1.1 maxv symidx = ELF_R_SYM(rel->r_info);
210 1.1 maxv /* Addend is 32 bit on 32 bit relocs */
211 1.1 maxv switch (rtype) {
212 1.1 maxv case R_X86_64_PC32:
213 1.1 maxv case R_X86_64_32:
214 1.1 maxv case R_X86_64_32S:
215 1.1 maxv addend = *(Elf32_Addr *)where;
216 1.1 maxv break;
217 1.1 maxv default:
218 1.1 maxv addend = *where;
219 1.1 maxv break;
220 1.1 maxv }
221 1.1 maxv }
222 1.1 maxv
223 1.1 maxv switch (rtype) {
224 1.1 maxv case R_X86_64_NONE: /* none */
225 1.1 maxv break;
226 1.1 maxv
227 1.1 maxv case R_X86_64_64: /* S + A */
228 1.1 maxv addr = elf_sym_lookup(symidx);
229 1.1 maxv val = addr + addend;
230 1.1 maxv *where = val;
231 1.1 maxv break;
232 1.1 maxv
233 1.1 maxv case R_X86_64_PC32: /* S + A - P */
234 1.1 maxv addr = elf_sym_lookup(symidx);
235 1.1 maxv where32 = (Elf32_Addr *)where;
236 1.1 maxv val32 = (Elf32_Addr)(addr + addend - (Elf64_Addr)where);
237 1.1 maxv *where32 = val32;
238 1.1 maxv break;
239 1.1 maxv
240 1.1 maxv case R_X86_64_32: /* S + A */
241 1.1 maxv case R_X86_64_32S: /* S + A sign extend */
242 1.1 maxv addr = elf_sym_lookup(symidx);
243 1.1 maxv val32 = (Elf32_Addr)(addr + addend);
244 1.1 maxv where32 = (Elf32_Addr *)where;
245 1.1 maxv *where32 = val32;
246 1.1 maxv break;
247 1.1 maxv
248 1.1 maxv case R_X86_64_GLOB_DAT: /* S */
249 1.1 maxv case R_X86_64_JUMP_SLOT:/* XXX need addend + offset */
250 1.1 maxv addr = elf_sym_lookup(symidx);
251 1.1 maxv *where = addr;
252 1.1 maxv break;
253 1.1 maxv
254 1.1 maxv case R_X86_64_RELATIVE: /* B + A */
255 1.1 maxv addr = relocbase + addend;
256 1.1 maxv val = addr;
257 1.1 maxv *where = val;
258 1.1 maxv break;
259 1.1 maxv
260 1.1 maxv default:
261 1.1 maxv fatal("elf_apply_reloc: unexpected relocation type");
262 1.1 maxv }
263 1.1 maxv }
264 1.1 maxv
265 1.4 maxv /* -------------------------------------------------------------------------- */
266 1.4 maxv
267 1.4 maxv size_t
268 1.4 maxv elf_get_head_size(vaddr_t headva)
269 1.4 maxv {
270 1.4 maxv Elf_Ehdr *ehdr;
271 1.4 maxv Elf_Shdr *shdr;
272 1.4 maxv size_t size;
273 1.4 maxv
274 1.4 maxv ehdr = (Elf_Ehdr *)headva;
275 1.4 maxv shdr = (Elf_Shdr *)((uint8_t *)ehdr + ehdr->e_shoff);
276 1.4 maxv
277 1.4 maxv size = (vaddr_t)shdr + (vaddr_t)(ehdr->e_shnum * sizeof(Elf_Shdr)) -
278 1.4 maxv (vaddr_t)ehdr;
279 1.4 maxv
280 1.4 maxv return roundup(size, PAGE_SIZE);
281 1.4 maxv }
282 1.4 maxv
283 1.4 maxv void
284 1.4 maxv elf_build_head(vaddr_t headva)
285 1.4 maxv {
286 1.4 maxv memset(&eif, 0, sizeof(struct elfinfo));
287 1.4 maxv
288 1.4 maxv eif.ehdr = (Elf_Ehdr *)headva;
289 1.4 maxv eif.shdr = (Elf_Shdr *)((uint8_t *)eif.ehdr + eif.ehdr->e_shoff);
290 1.4 maxv
291 1.4 maxv if (elf_check_header() == -1) {
292 1.5 maxv fatal("elf_build_head: wrong kernel ELF header");
293 1.4 maxv }
294 1.4 maxv }
295 1.4 maxv
296 1.3 maxv static bool
297 1.3 maxv elf_section_is_text(Elf_Shdr *shdr)
298 1.3 maxv {
299 1.3 maxv if (shdr->sh_type != SHT_NOBITS &&
300 1.3 maxv shdr->sh_type != SHT_PROGBITS) {
301 1.3 maxv return false;
302 1.3 maxv }
303 1.3 maxv if (!(shdr->sh_flags & SHF_EXECINSTR)) {
304 1.3 maxv return false;
305 1.3 maxv }
306 1.3 maxv return true;
307 1.3 maxv }
308 1.3 maxv
309 1.3 maxv static bool
310 1.3 maxv elf_section_is_rodata(Elf_Shdr *shdr)
311 1.3 maxv {
312 1.3 maxv if (shdr->sh_type != SHT_NOBITS &&
313 1.3 maxv shdr->sh_type != SHT_PROGBITS) {
314 1.3 maxv return false;
315 1.3 maxv }
316 1.3 maxv if (shdr->sh_flags & (SHF_EXECINSTR|SHF_WRITE)) {
317 1.3 maxv return false;
318 1.3 maxv }
319 1.3 maxv return true;
320 1.3 maxv }
321 1.3 maxv
322 1.3 maxv static bool
323 1.3 maxv elf_section_is_data(Elf_Shdr *shdr)
324 1.3 maxv {
325 1.3 maxv if (shdr->sh_type != SHT_NOBITS &&
326 1.3 maxv shdr->sh_type != SHT_PROGBITS) {
327 1.3 maxv return false;
328 1.3 maxv }
329 1.3 maxv if (!(shdr->sh_flags & SHF_WRITE) ||
330 1.3 maxv (shdr->sh_flags & SHF_EXECINSTR)) {
331 1.3 maxv return false;
332 1.3 maxv }
333 1.3 maxv return true;
334 1.3 maxv }
335 1.3 maxv
336 1.4 maxv void
337 1.4 maxv elf_get_text(paddr_t *pa, size_t *sz)
338 1.4 maxv {
339 1.4 maxv const paddr_t basepa = kernpa_start;
340 1.4 maxv paddr_t minpa, maxpa, secpa;
341 1.4 maxv size_t i, secsz;
342 1.4 maxv
343 1.4 maxv minpa = 0xFFFFFFFFFFFFFFFF, maxpa = 0;
344 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
345 1.4 maxv if (!elf_section_is_text(&eif.shdr[i])) {
346 1.4 maxv continue;
347 1.4 maxv }
348 1.4 maxv secpa = basepa + eif.shdr[i].sh_offset;
349 1.4 maxv secsz = eif.shdr[i].sh_size;
350 1.4 maxv if (secpa < minpa) {
351 1.4 maxv minpa = secpa;
352 1.4 maxv }
353 1.4 maxv if (secpa + secsz > maxpa) {
354 1.4 maxv maxpa = secpa + secsz;
355 1.4 maxv }
356 1.4 maxv }
357 1.4 maxv ASSERT(minpa % PAGE_SIZE == 0);
358 1.4 maxv
359 1.4 maxv *pa = minpa;
360 1.4 maxv *sz = roundup(maxpa - minpa, PAGE_SIZE);
361 1.4 maxv }
362 1.4 maxv
363 1.4 maxv void
364 1.4 maxv elf_build_text(vaddr_t textva, paddr_t textpa, size_t textsz)
365 1.4 maxv {
366 1.4 maxv const paddr_t basepa = kernpa_start;
367 1.4 maxv const vaddr_t headva = (vaddr_t)eif.ehdr;
368 1.4 maxv size_t i, offtext;
369 1.4 maxv
370 1.4 maxv eif.text.va = textva;
371 1.4 maxv eif.text.sz = textsz;
372 1.4 maxv
373 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
374 1.4 maxv if (!elf_section_is_text(&eif.shdr[i])) {
375 1.4 maxv continue;
376 1.4 maxv }
377 1.4 maxv
378 1.4 maxv /* Offset of the section within the text segment. */
379 1.4 maxv offtext = basepa + eif.shdr[i].sh_offset - textpa;
380 1.4 maxv
381 1.4 maxv /* We want (headva + sh_offset) to be the VA of the section. */
382 1.4 maxv eif.shdr[i].sh_offset = (eif.text.va + offtext - headva);
383 1.4 maxv }
384 1.4 maxv }
385 1.4 maxv
386 1.4 maxv void
387 1.4 maxv elf_get_rodata(paddr_t *pa, size_t *sz)
388 1.4 maxv {
389 1.4 maxv const paddr_t basepa = kernpa_start;
390 1.4 maxv paddr_t minpa, maxpa, secpa;
391 1.4 maxv size_t i, secsz;
392 1.4 maxv
393 1.4 maxv minpa = 0xFFFFFFFFFFFFFFFF, maxpa = 0;
394 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
395 1.4 maxv if (!elf_section_is_rodata(&eif.shdr[i])) {
396 1.4 maxv continue;
397 1.4 maxv }
398 1.4 maxv secpa = basepa + eif.shdr[i].sh_offset;
399 1.4 maxv secsz = eif.shdr[i].sh_size;
400 1.4 maxv if (secpa < minpa) {
401 1.4 maxv minpa = secpa;
402 1.4 maxv }
403 1.4 maxv if (secpa + secsz > maxpa) {
404 1.4 maxv maxpa = secpa + secsz;
405 1.4 maxv }
406 1.4 maxv }
407 1.4 maxv ASSERT(minpa % PAGE_SIZE == 0);
408 1.4 maxv
409 1.4 maxv *pa = minpa;
410 1.4 maxv *sz = roundup(maxpa - minpa, PAGE_SIZE);
411 1.4 maxv }
412 1.4 maxv
413 1.4 maxv void
414 1.4 maxv elf_build_rodata(vaddr_t rodatava, paddr_t rodatapa, size_t rodatasz)
415 1.4 maxv {
416 1.4 maxv const paddr_t basepa = kernpa_start;
417 1.4 maxv const vaddr_t headva = (vaddr_t)eif.ehdr;
418 1.4 maxv size_t i, offrodata;
419 1.4 maxv
420 1.4 maxv eif.rodata.va = rodatava;
421 1.4 maxv eif.rodata.sz = rodatasz;
422 1.4 maxv
423 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
424 1.4 maxv if (!elf_section_is_rodata(&eif.shdr[i])) {
425 1.4 maxv continue;
426 1.4 maxv }
427 1.4 maxv
428 1.4 maxv /* Offset of the section within the rodata segment. */
429 1.4 maxv offrodata = basepa + eif.shdr[i].sh_offset - rodatapa;
430 1.4 maxv
431 1.4 maxv /* We want (headva + sh_offset) to be the VA of the section. */
432 1.4 maxv eif.shdr[i].sh_offset = (eif.rodata.va + offrodata - headva);
433 1.4 maxv }
434 1.4 maxv }
435 1.4 maxv
436 1.4 maxv void
437 1.4 maxv elf_get_data(paddr_t *pa, size_t *sz)
438 1.4 maxv {
439 1.4 maxv const paddr_t basepa = kernpa_start;
440 1.4 maxv paddr_t minpa, maxpa, secpa;
441 1.4 maxv size_t i, secsz;
442 1.4 maxv
443 1.4 maxv minpa = 0xFFFFFFFFFFFFFFFF, maxpa = 0;
444 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
445 1.4 maxv if (!elf_section_is_data(&eif.shdr[i])) {
446 1.4 maxv continue;
447 1.4 maxv }
448 1.4 maxv secpa = basepa + eif.shdr[i].sh_offset;
449 1.4 maxv secsz = eif.shdr[i].sh_size;
450 1.4 maxv if (secpa < minpa) {
451 1.4 maxv minpa = secpa;
452 1.4 maxv }
453 1.4 maxv if (secpa + secsz > maxpa) {
454 1.4 maxv maxpa = secpa + secsz;
455 1.4 maxv }
456 1.4 maxv }
457 1.4 maxv ASSERT(minpa % PAGE_SIZE == 0);
458 1.4 maxv
459 1.4 maxv *pa = minpa;
460 1.4 maxv *sz = roundup(maxpa - minpa, PAGE_SIZE);
461 1.4 maxv }
462 1.4 maxv
463 1.4 maxv void
464 1.4 maxv elf_build_data(vaddr_t datava, paddr_t datapa, size_t datasz)
465 1.4 maxv {
466 1.4 maxv const paddr_t basepa = kernpa_start;
467 1.4 maxv const vaddr_t headva = (vaddr_t)eif.ehdr;
468 1.4 maxv size_t i, offdata;
469 1.4 maxv
470 1.4 maxv eif.data.va = datava;
471 1.4 maxv eif.data.sz = datasz;
472 1.4 maxv
473 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
474 1.4 maxv if (!elf_section_is_data(&eif.shdr[i])) {
475 1.4 maxv continue;
476 1.4 maxv }
477 1.4 maxv
478 1.4 maxv /* Offset of the section within the data segment. */
479 1.4 maxv offdata = basepa + eif.shdr[i].sh_offset - datapa;
480 1.4 maxv
481 1.4 maxv /* We want (headva + sh_offset) to be the VA of the section. */
482 1.4 maxv eif.shdr[i].sh_offset = (eif.data.va + offdata - headva);
483 1.4 maxv }
484 1.4 maxv }
485 1.4 maxv
486 1.4 maxv void
487 1.4 maxv elf_build_boot(vaddr_t bootva, paddr_t bootpa)
488 1.1 maxv {
489 1.4 maxv const paddr_t basepa = kernpa_start;
490 1.4 maxv const vaddr_t headva = (vaddr_t)eif.ehdr;
491 1.4 maxv size_t i, j, offboot;
492 1.1 maxv
493 1.4 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
494 1.4 maxv if (eif.shdr[i].sh_type != SHT_STRTAB &&
495 1.4 maxv eif.shdr[i].sh_type != SHT_REL &&
496 1.4 maxv eif.shdr[i].sh_type != SHT_RELA &&
497 1.4 maxv eif.shdr[i].sh_type != SHT_SYMTAB) {
498 1.4 maxv continue;
499 1.4 maxv }
500 1.4 maxv if (eif.shdr[i].sh_offset == 0) {
501 1.4 maxv /* hasn't been loaded */
502 1.4 maxv continue;
503 1.4 maxv }
504 1.1 maxv
505 1.4 maxv /* Offset of the section within the boot region. */
506 1.4 maxv offboot = basepa + eif.shdr[i].sh_offset - bootpa;
507 1.1 maxv
508 1.4 maxv /* We want (headva + sh_offset) to be the VA of the region. */
509 1.4 maxv eif.shdr[i].sh_offset = (bootva + offboot - headva);
510 1.1 maxv }
511 1.1 maxv
512 1.1 maxv /* Locate the section names */
513 1.1 maxv j = eif.ehdr->e_shstrndx;
514 1.1 maxv if (j == SHN_UNDEF) {
515 1.5 maxv fatal("elf_build_boot: shstrtab not found");
516 1.1 maxv }
517 1.1 maxv if (j >= eif.ehdr->e_shnum) {
518 1.5 maxv fatal("elf_build_boot: wrong shstrtab index");
519 1.1 maxv }
520 1.1 maxv eif.shstrtab = (char *)((uint8_t *)eif.ehdr + eif.shdr[j].sh_offset);
521 1.1 maxv eif.shstrsz = eif.shdr[j].sh_size;
522 1.1 maxv
523 1.1 maxv /* Locate the symbol table */
524 1.1 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
525 1.1 maxv if (eif.shdr[i].sh_type == SHT_SYMTAB)
526 1.1 maxv break;
527 1.1 maxv }
528 1.1 maxv if (i == eif.ehdr->e_shnum) {
529 1.5 maxv fatal("elf_build_boot: symtab not found");
530 1.1 maxv }
531 1.1 maxv eif.symtab = (Elf_Sym *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
532 1.1 maxv eif.symcnt = eif.shdr[i].sh_size / sizeof(Elf_Sym);
533 1.1 maxv
534 1.1 maxv /* Also locate the string table */
535 1.1 maxv j = eif.shdr[i].sh_link;
536 1.1 maxv if (j == SHN_UNDEF || j >= eif.ehdr->e_shnum) {
537 1.5 maxv fatal("elf_build_boot: wrong strtab index");
538 1.1 maxv }
539 1.1 maxv if (eif.shdr[j].sh_type != SHT_STRTAB) {
540 1.5 maxv fatal("elf_build_boot: wrong strtab type");
541 1.1 maxv }
542 1.1 maxv eif.strtab = (char *)((uint8_t *)eif.ehdr + eif.shdr[j].sh_offset);
543 1.1 maxv eif.strsz = eif.shdr[j].sh_size;
544 1.1 maxv }
545 1.1 maxv
546 1.1 maxv vaddr_t
547 1.4 maxv elf_kernel_reloc()
548 1.1 maxv {
549 1.4 maxv const vaddr_t baseva = (vaddr_t)eif.ehdr;
550 1.1 maxv vaddr_t secva, ent;
551 1.1 maxv Elf_Sym *sym;
552 1.1 maxv size_t i, j;
553 1.1 maxv
554 1.1 maxv print_state(true, "ELF info created");
555 1.1 maxv
556 1.1 maxv /*
557 1.1 maxv * The loaded sections are: SHT_PROGBITS, SHT_NOBITS, SHT_STRTAB,
558 1.1 maxv * SHT_SYMTAB.
559 1.1 maxv */
560 1.1 maxv
561 1.1 maxv /*
562 1.1 maxv * Update all symbol values with the appropriate offset.
563 1.1 maxv */
564 1.1 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
565 1.1 maxv if (eif.shdr[i].sh_type != SHT_NOBITS &&
566 1.1 maxv eif.shdr[i].sh_type != SHT_PROGBITS) {
567 1.1 maxv continue;
568 1.1 maxv }
569 1.1 maxv secva = baseva + eif.shdr[i].sh_offset;
570 1.1 maxv for (j = 0; j < eif.symcnt; j++) {
571 1.1 maxv sym = &eif.symtab[j];
572 1.1 maxv if (sym->st_shndx != i) {
573 1.1 maxv continue;
574 1.1 maxv }
575 1.1 maxv sym->st_value += (Elf_Addr)secva;
576 1.1 maxv }
577 1.1 maxv }
578 1.1 maxv
579 1.1 maxv print_state(true, "Symbol values updated");
580 1.1 maxv
581 1.1 maxv /*
582 1.1 maxv * Perform relocations without addend if there are any.
583 1.1 maxv */
584 1.1 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
585 1.1 maxv Elf_Rel *reltab, *rel;
586 1.1 maxv size_t secidx, nrel;
587 1.1 maxv uintptr_t base;
588 1.1 maxv
589 1.1 maxv if (eif.shdr[i].sh_type != SHT_REL)
590 1.1 maxv continue;
591 1.1 maxv
592 1.1 maxv reltab = (Elf_Rel *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
593 1.1 maxv nrel = eif.shdr[i].sh_size / sizeof(Elf_Rel);
594 1.1 maxv
595 1.1 maxv secidx = eif.shdr[i].sh_info;
596 1.1 maxv if (secidx >= eif.ehdr->e_shnum) {
597 1.1 maxv fatal("elf_kernel_reloc: wrong REL relocation");
598 1.1 maxv }
599 1.1 maxv base = (uintptr_t)eif.ehdr + eif.shdr[secidx].sh_offset;
600 1.1 maxv
601 1.1 maxv for (j = 0; j < nrel; j++) {
602 1.1 maxv rel = &reltab[j];
603 1.1 maxv elf_apply_reloc(base, rel, false);
604 1.1 maxv }
605 1.1 maxv }
606 1.1 maxv
607 1.1 maxv print_state(true, "REL relocations applied");
608 1.1 maxv
609 1.1 maxv /*
610 1.1 maxv * Perform relocations with addend if there are any.
611 1.1 maxv */
612 1.1 maxv for (i = 0; i < eif.ehdr->e_shnum; i++) {
613 1.1 maxv Elf_Rela *relatab, *rela;
614 1.1 maxv size_t secidx, nrela;
615 1.1 maxv uintptr_t base;
616 1.1 maxv
617 1.1 maxv if (eif.shdr[i].sh_type != SHT_RELA)
618 1.1 maxv continue;
619 1.1 maxv
620 1.1 maxv relatab = (Elf_Rela *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
621 1.1 maxv nrela = eif.shdr[i].sh_size / sizeof(Elf_Rela);
622 1.1 maxv
623 1.1 maxv secidx = eif.shdr[i].sh_info;
624 1.1 maxv if (secidx >= eif.ehdr->e_shnum) {
625 1.1 maxv fatal("elf_kernel_reloc: wrong RELA relocation");
626 1.1 maxv }
627 1.1 maxv base = (uintptr_t)eif.ehdr + eif.shdr[secidx].sh_offset;
628 1.1 maxv
629 1.1 maxv for (j = 0; j < nrela; j++) {
630 1.1 maxv rela = &relatab[j];
631 1.1 maxv elf_apply_reloc(base, rela, true);
632 1.1 maxv }
633 1.1 maxv }
634 1.1 maxv
635 1.1 maxv print_state(true, "RELA relocations applied");
636 1.1 maxv
637 1.1 maxv /*
638 1.1 maxv * Get the entry point.
639 1.1 maxv */
640 1.1 maxv ent = elf_get_entrypoint(&eif);
641 1.1 maxv if (ent == 0) {
642 1.1 maxv fatal("elf_kernel_reloc: entry point not found");
643 1.1 maxv }
644 1.1 maxv
645 1.1 maxv print_state(true, "Entry point found");
646 1.1 maxv
647 1.1 maxv /*
648 1.1 maxv * Remap the code segments with proper permissions.
649 1.1 maxv */
650 1.1 maxv mm_mprotect(eif.text.va, eif.text.sz, MM_PROT_READ|MM_PROT_EXECUTE);
651 1.1 maxv mm_mprotect(eif.rodata.va, eif.rodata.sz, MM_PROT_READ);
652 1.1 maxv mm_mprotect(eif.data.va, eif.data.sz, MM_PROT_READ|MM_PROT_WRITE);
653 1.1 maxv
654 1.1 maxv print_state(true, "Segments protection updated");
655 1.1 maxv
656 1.1 maxv return ent;
657 1.1 maxv }
658 1.1 maxv
659