| #!/bin/bash |
| # |
| # Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) |
| # |
| # SPDX-License-Identifier: BSD-2-Clause |
| # |
| |
| # Auto-generates the kernel_symbols table for accessing kernel symbols. |
| |
| if [ $# -ne 2 ]; then |
| echo "Usage: $0 objdump-command kernel.elf" 1>&2 |
| exit 1 |
| fi |
| |
| cat - <<EOT |
| /* Auto-generated by $0. Do not edit manually. */ |
| |
| /* Include Kconfig variables. */ |
| #include <autoconf.h> |
| #include <sel4test/gen_config.h> |
| |
| #include <string.h> |
| |
| static struct kernel_symbol { |
| char *symbol; |
| void *addr; |
| } kernel_symbols[] = { |
| EOT |
| |
| # Objdump the symbol table and format it nicely for C. |
| "$1" --syms "$2" \ |
| | grep --color=none "^[0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f] " \ |
| | sed 's/\([0-9a-f]*\) .* \(.*\)/ { .symbol = "\2", .addr = (void*)0xf\1 },/g' |
| |
| cat - <<EOT |
| { .symbol = NULL, .addr = (void*)NULL }, /* Terminate array. */ |
| }; |
| |
| void * resolve_kernel_symbol(char *symbol) { |
| for (int i = 0; kernel_symbols[i].symbol != NULL ; ++i) { |
| if (!strcmp(kernel_symbols[i].symbol, symbol)) { |
| return kernel_symbols[i].addr; |
| } |
| } |
| return NULL; |
| } |
| EOT |
