Searched refs:bl31_file_name (Results 1 – 2 of 2) sorted by relevance
139 def generate_atf_fit_dts(fit_file_name, bl31_file_name, uboot_file_name, dtbs_file_name): argument162 with open(bl31_file_name) as bl31_file:179 def generate_atf_binary(bl31_file_name): argument180 with open(bl31_file_name) as bl31_file:192 def get_bl31_segments_info(bl31_file_name): argument197 with open(bl31_file_name) as bl31_file:
37 def generate_atf_binary(bl31_file_name): argument38 for index, entry, paddr, data in unpack_elf(bl31_file_name):