|  | # Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com> | 
|  | # Copyright (c) 2022 Huawei France Technologies SASU | 
|  | # SPDX-License-Identifier: Apache-2.0 | 
|  |  | 
|  | set(SUPPORTED_EMU_PLATFORMS qemu) | 
|  | set(QEMU_ARCH aarch64) | 
|  |  | 
|  | set(QEMU_MACH virt,gic-version=3,accel=kvm) | 
|  |  | 
|  | if(NOT CONFIG_ARMV8_A_NS) | 
|  | set(QEMU_MACH ${QEMU_MACH},secure=on) | 
|  | endif() | 
|  |  | 
|  | set(QEMU_FLAGS_${ARCH} | 
|  | -cpu host | 
|  | -nographic | 
|  | -machine ${QEMU_MACH} | 
|  | ) | 
|  |  | 
|  | if(CONFIG_XIP) | 
|  | # This should be equivalent to | 
|  | #   ... -drive if=pflash,file=build/zephyr/zephyr.bin,format=raw | 
|  | # without having to pad the binary file to the FLASH size | 
|  | set(QEMU_KERNEL_OPTION | 
|  | -bios ${PROJECT_BINARY_DIR}/${CONFIG_KERNEL_BIN_NAME}.bin | 
|  | ) | 
|  | endif() | 
|  |  | 
|  | board_set_debugger_ifnset(qemu) |