# v3.0
####################################################################
# Start of path customization
# fill following lines replacing <...> with the proper absolute path
#

####################### Source path ################################
# TF-A source path
directory <full_path_to_TF-A_source>/

# OP-TEE source path
directory <full_path_to_OP-TEE_source>/

# U-Boot source path
set substitute-path <source_path_from_u-boot_elf_file>/  <full_path_to_U-Boot_source>/
# <source_path_from_u-boot_elf_file> can be retrieve from u-boot elf with the following readelf command: readelf --string-dump=.debug_str <u-boot_elf_file> | sed -n '/\/\|\.c/{s/.*\] //p}'

# Linux kernel source path
set substitute-path <source_path_from_vmlinux>/ <full_path_to_Linux_kernel_source>/
# <source_path_from_vmlinux> can be retrieve from vmlinux with the following readelf command: readelf --string-dump=.debug_str vmlinux | sed -n '/\/\|\.c/{s/.*\] //p}'
####################################################################

####################### Symbol path ################################
define symload_bl32
	symbol-file <full_path_to_tf-a-bl32-trusted.elf>
end
document symload_bl32
	format: symbol-file <full_path_to_tf-a-bl32-trusted.elf>
end

define symadd_bl32
	add-symbol-file <full_path_to_tf-a-bl32-trusted.elf> -s ro $arg0
end
document symadd_bl32
	format: add-symbol-file <full_path_to_tf-a-bl32-trusted.elf> -s ro $arg0
end

define symload_optee
	symbol-file <full_path_to_tee.elf>
end
document symload_optee
	format: symbol-file <full_path_to_tee.elf>
end

define symadd_optee
	add-symbol-file <full_path_to_tee.elf> $arg0
end
document symadd_optee
	format: add-symbol-file <full_path_to_tee.elf> $arg0
end

define symload_bl2
	symbol-file <full_path_to_tf-a-bl2-trusted_or_optee.elf>
end
document symload_bl2
	format: symbol-file <full_path_to_tf-a-bl2-trusted_or_optee.elf>
end

define symload_uboot
	symbol-file <full_path_to_u-boot-trusted_or_optee.elf>
end
document symload_uboot
	format: symbol-file <full_path_to_u-boot-trusted_or_optee.elf>
end

define symadd_uboot
	set $offset = ((gd_t *)$r9)->relocaddr
	add-symbol-file <full_path_to_u-boot-trusted_or_optee.elf> $offset
end
document symadd_uboot
	format: symbol-file <full_path_to_u-boot-trusted_or_optee.elf> $offset
	offset is given by command: set $offset = ((gd_t *)$r9)->relocaddr
end

define symload_vmlinux
	symbol-file <full_path_to_vmlinux>
end
document symload_vmlinux
	format: symbol-file <full_path_to_vmlinux>
end
####################################################################

#
# End of path customization
####################################################################