From 53d112fa95fa981008bd1ef829ee756a9bf2802d Mon Sep 17 00:00:00 2001 From: p-szafonimateusz Date: Mon, 17 Jun 2024 11:28:16 +0200 Subject: [PATCH] x86_64: add ELF support add arch_elf64.c for x86_64, ported from sim/x86 Signed-off-by: p-szafonimateusz --- arch/x86_64/include/elf.h | 45 +++++ arch/x86_64/src/common/Toolchain.defs | 20 ++ .../intel64/qemu-intel64/scripts/Make.defs | 2 +- libs/libc/machine/x86_64/CMakeLists.txt | 4 + libs/libc/machine/x86_64/Make.defs | 4 + libs/libc/machine/x86_64/arch_elf64.c | 183 ++++++++++++++++++ 6 files changed, 257 insertions(+), 1 deletion(-) create mode 100644 arch/x86_64/include/elf.h create mode 100644 libs/libc/machine/x86_64/arch_elf64.c diff --git a/arch/x86_64/include/elf.h b/arch/x86_64/include/elf.h new file mode 100644 index 0000000000..f4c87f1402 --- /dev/null +++ b/arch/x86_64/include/elf.h @@ -0,0 +1,45 @@ +/**************************************************************************** + * arch/x86_64/include/elf.h + * + * Licensed to the Apache Software Foundation (ASF) under one or more + * contributor license agreements. See the NOTICE file distributed with + * this work for additional information regarding copyright ownership. The + * ASF licenses this file to you under the Apache License, Version 2.0 (the + * "License"); you may not use this file except in compliance with the + * License. You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT + * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the + * License for the specific language governing permissions and limitations + * under the License. + * + ****************************************************************************/ + +#ifndef __ARCH_X86_64_INCLUDE_ELF_H +#define __ARCH_X86_64_INCLUDE_ELF_H + +/**************************************************************************** + * Pre-processor Prototypes + ****************************************************************************/ + +#define R_X86_64_NONE 0 +#define R_X86_64_64 1 +#define R_X86_64_PC32 2 +#define R_X86_64_PLT32 4 +#define R_X86_64_32 10 +#define R_X86_64_32S 11 +#define R_X86_64_PC64 24 + +/* 4.3.1 ELF Identification. Should have: + * + * e_machine = EM_X86_64 + */ + +#define EM_ARCH EM_X86_64 + +#define EF_FLAG 0 + +#endif /* __ARCH_X86_64_INCLUDE_ELF_H */ diff --git a/arch/x86_64/src/common/Toolchain.defs b/arch/x86_64/src/common/Toolchain.defs index 2f0a4cdd6d..6f6f1ade9e 100644 --- a/arch/x86_64/src/common/Toolchain.defs +++ b/arch/x86_64/src/common/Toolchain.defs @@ -129,3 +129,23 @@ AFLAGS += -Wa,--divide endif EXEEXT = .elf + +# Loadable module definitions + +CMODULEFLAGS = $(CFLAGS) -fvisibility=hidden +LDMODULEFLAGS = -r -T $(call CONVERT_PATH,$(TOPDIR)/libs/libc/modlib/gnu-elf.ld) + +# ELF module definitions + +CELFFLAGS = $(CFLAGS) -fvisibility=hidden +CXXELFFLAGS = $(CXXFLAGS) -fvisibility=hidden + +LDELFFLAGS = -r -e main --gc-sections +LDELFFLAGS += -T $(call CONVERT_PATH,$(TOPDIR)$(DELIM)binfmt$(DELIM)libelf$(DELIM)gnu-elf.ld) + +# -fno-pic to avoid GOT relocations +# -mcmodel=large to avoid out-of-range 32-bit relocations + +CMODULEFLAGS += -fno-pic -mcmodel=large +CELFFLAGS += -fno-pic -mcmodel=large +CXXELFFLAGS += -fno-pic -mcmodel=large diff --git a/boards/x86_64/intel64/qemu-intel64/scripts/Make.defs b/boards/x86_64/intel64/qemu-intel64/scripts/Make.defs index e55817d63f..1bcd75dbc6 100644 --- a/boards/x86_64/intel64/qemu-intel64/scripts/Make.defs +++ b/boards/x86_64/intel64/qemu-intel64/scripts/Make.defs @@ -22,4 +22,4 @@ include $(TOPDIR)/.config include $(TOPDIR)/tools/Config.mk include $(TOPDIR)/arch/x86_64/src/intel64/Toolchain.defs -ARCHSCRIPT += $(BOARD_DIR)$(DELIM)scripts$(DELIM)qemu.ld +ARCHSCRIPT += $(BOARD_DIR)$(DELIM)scripts$(DELIM)qemu.ld \ No newline at end of file diff --git a/libs/libc/machine/x86_64/CMakeLists.txt b/libs/libc/machine/x86_64/CMakeLists.txt index 1fcd9ef065..3c9e94ca89 100644 --- a/libs/libc/machine/x86_64/CMakeLists.txt +++ b/libs/libc/machine/x86_64/CMakeLists.txt @@ -22,4 +22,8 @@ add_subdirectory(gnu) set(SRCS) +if(CONFIG_LIBC_ARCH_ELF) + list(APPEND SRCS arch_elf.c) +endif() + target_sources(c PRIVATE ${SRCS}) diff --git a/libs/libc/machine/x86_64/Make.defs b/libs/libc/machine/x86_64/Make.defs index a7d570207f..e30495401a 100644 --- a/libs/libc/machine/x86_64/Make.defs +++ b/libs/libc/machine/x86_64/Make.defs @@ -18,6 +18,10 @@ # ############################################################################ +ifeq ($(CONFIG_LIBC_ARCH_ELF),y) +CSRCS += arch_elf64.c +endif + ifeq ($(CONFIG_X86_64_MEMCMP),y) ASRCS += arch_memcmp.S endif diff --git a/libs/libc/machine/x86_64/arch_elf64.c b/libs/libc/machine/x86_64/arch_elf64.c new file mode 100644 index 0000000000..7dad5fb70c --- /dev/null +++ b/libs/libc/machine/x86_64/arch_elf64.c @@ -0,0 +1,183 @@ +/**************************************************************************** + * libs/libc/machine/x86_64/arch_elf64.c + * + * Licensed to the Apache Software Foundation (ASF) under one or more + * contributor license agreements. See the NOTICE file distributed with + * this work for additional information regarding copyright ownership. The + * ASF licenses this file to you under the Apache License, Version 2.0 (the + * "License"); you may not use this file except in compliance with the + * License. You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT + * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the + * License for the specific language governing permissions and limitations + * under the License. + * + ****************************************************************************/ + +/* References: + * AMD64 ABI Draft 0.98 + * http://refspecs.linuxbase.org/elf/x86_64-abi-0.98.pdf + * 4.4 Relocation + */ + +/**************************************************************************** + * Included Files + ****************************************************************************/ + +#include + +#include +#include +#include +#include + +#include + +/**************************************************************************** + * Public Functions + ****************************************************************************/ + +/**************************************************************************** + * Name: up_checkarch + * + * Description: + * Given the ELF header in 'hdr', verify that the ELF file is appropriate + * for the current, configured architecture. Every architecture that uses + * the ELF loader must provide this function. + * + * Input Parameters: + * hdr - The ELF header read from the ELF file. + * + * Returned Value: + * True if the architecture supports this ELF file. + * + ****************************************************************************/ + +bool up_checkarch(const Elf64_Ehdr *ehdr) +{ + /* Make sure it's an x86_64 executable */ + + if (ehdr->e_machine != EM_X86_64) + { + berr("ERROR: Not for x86_64: e_machine=%04x\n", ehdr->e_machine); + return false; + } + + /* Make sure that 64-bit objects are supported */ + + if (ehdr->e_ident[EI_CLASS] != ELFCLASS64) + { + berr("ERROR: Need 64-bit objects: e_ident[EI_CLASS]=%02x\n", + ehdr->e_ident[EI_CLASS]); + return false; + } + + /* Verify endian-ness */ + +#ifdef CONFIG_ENDIAN_BIG +#error x86_64 is LE +#else + if (ehdr->e_ident[EI_DATA] != ELFDATA2LSB) +#endif + { + berr("ERROR: Wrong endian-ness: e_ident[EI_DATA]=%02x\n", + ehdr->e_ident[EI_DATA]); + return false; + } + + /* TODO: Check ABI here. */ + + return true; +} + +/**************************************************************************** + * Name: up_relocate and up_relocateadd + * + * Description: + * Perform an architecture-specific ELF relocation. Every architecture + * that uses the ELF loader must provide this function. + * + * Input Parameters: + * rel - The relocation type + * sym - The ELF symbol structure containing the fully resolved value. + * There are a few relocation types for a few architectures that do + * not require symbol information. For those, this value will be + * NULL. Implementations of these functions must be able to handle + * that case. + * addr - The address that requires the relocation. + * + * Returned Value: + * Zero (OK) if the relocation was successful. Otherwise, a negated errno + * value indicating the cause of the relocation failure. + * + ****************************************************************************/ + +int up_relocate(const Elf64_Rel *rel, const Elf64_Sym *sym, uintptr_t addr, + FAR void *arch_data) +{ + berr("Not implemented\n"); + return -ENOSYS; +} + +int up_relocateadd(const Elf64_Rela *rel, const Elf64_Sym *sym, + uintptr_t addr, FAR void *arch_data) +{ + unsigned int relotype; + uint64_t value; + + relotype = ELF64_R_TYPE(rel->r_info); + + if (sym == NULL && relotype != R_X86_64_NONE) + { + return -EINVAL; + } + + /* A ... The addend (rel->r_addend) + * P ... The location (addr) + * L ... The PLT location (sym->st_value) + * S ... symbol value (sym->st_value) + */ + + switch (relotype) + { + case R_X86_64_64: /* S + A */ + *(uint64_t *)addr = sym->st_value + rel->r_addend; + break; + case R_X86_64_PC32: /* S + A - P */ + case R_X86_64_PLT32: /* L + A - P */ + value = sym->st_value + rel->r_addend - addr; + if ((int32_t)value != value) + { + berr("ERROR: Out of range relocation: %d\n", relotype); + return -EINVAL; + } + + *(uint32_t *)addr = value; + break; + case R_X86_64_PC64: /* S + A - P */ + value = sym->st_value + rel->r_addend - addr; + *(uint64_t *)addr = value; + break; + case R_X86_64_32: /* S + A */ + case R_X86_64_32S: /* S + A */ + value = sym->st_value + rel->r_addend; + if ((relotype == R_X86_64_32 && (uint32_t)value != value) || + (relotype == R_X86_64_32S && (int32_t)value != value)) + { + berr("ERROR: Out of range relocation: %d\n", relotype); + return -EINVAL; + } + + *(uint32_t *)addr = value; + break; + default: + berr("ERROR: Unsupported relocation: %d\n", relotype); + return -EINVAL; + } + + return OK; +}