1# SPDX-License-Identifier: Apache-2.0
2
3# Create an EFI image
4if(CONFIG_BUILD_OUTPUT_EFI)
5set_property(GLOBAL APPEND PROPERTY extra_post_build_commands
6  COMMAND ${PYTHON_EXECUTABLE} ${PROJECT_SOURCE_DIR}/arch/x86/zefi/zefi.py
7  -c ${CMAKE_C_COMPILER}
8  -o ${CMAKE_OBJCOPY}
9  -i ${ZEPHYR_BASE}/include ${PROJECT_BINARY_DIR}/include/generated
10  -f ${PROJECT_BINARY_DIR}/${CONFIG_KERNEL_BIN_NAME}.elf
11  $<$<BOOL:${CMAKE_VERBOSE_MAKEFILE}>:--verbose>
12  WORKING_DIRECTORY ${PROJECT_BINARY_DIR}
13)
14endif()
15