Searched refs:bl33 (Results 1 – 5 of 5) sorted by relevance
151 void fsbl_atf_handover(entry_point_info_t *bl32, entry_point_info_t *bl33) in fsbl_atf_handover() argument231 image = bl33; in fsbl_atf_handover()239 bl33->spsr = SPSR_MODE32(target_el, SPSR_T_ARM, in fsbl_atf_handover()248 bl33->spsr = SPSR_64(target_el, MODE_SP_ELX, in fsbl_atf_handover()
66 …fip_create --bl33 $(BUILD_PATH)/$(EDK2_BUILD)_$(EDK2_TOOLCHAIN)/FV/$(UEFI_BIN) --dump $(FIP_BIN); \
31 - ``bl33.bin`` -> BL33 (``QEMU_EFI.fd``)
128 INFO: Boot bl33 from 0x37000000 for 364311 Bytes
860 make PLAT=fvp BL33=<path/to/bl33.bin> fip866 make PLAT=fvp ARCH=aarch32 AARCH32_SP=sp_min BL33=<path/to/bl33.bin> fip1157 BL33=<path-to-juno-oe-uboot>/SOFTWARE/bl33-uboot.bin \1193 BL33=<path-to-juno32-oe-uboot>/SOFTWARE/bl33-uboot.bin \1679 --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \1687 ``--data="<path-to><bl31|bl32|bl33-binary>"@<base-address-of-binary>``1733 --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \1764 --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \1787 --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \