/* Architecture specific function for relocating partially linked (static) elf. 
The relocation codes for arm are well documented  */
void arch_elf_relocate(elf_rela_t *rel, uintptr_t opaddr, uintptr_t opval)
/* Architecture specific function for relocating partially linked (static) elf. 
The relocation codes for arm are well documented  */
void arch_elf_relocate(elf_rela_t *rel, uintptr_t opaddr, uintptr_t opval)
{
	elf_word reloc_type = ELF32_R_TYPE(rel->r_info);
	switch (reloc_type) {
	case R_ARM_ABS32:
		*((uint32_t *)opaddr) = (uint32_t)opval;
		break;
	default:
		LOG_DBG("Unsupported ARM elf relocation type %d at address %lx",
			reloc_type, opaddr);
		break;
	}
}