tftf_config/fvp-smcfuzzing

CROSS_COMPILE=aarch64-none-elf-
PLAT=fvp
TESTS=smcfuzzing
SMC_FUZZING=1
SMC_FUZZ_DTS=smc_fuzz/dts/sdei_coverage.dts
SMC_FUZZER_DEBUG=1
SMC_FUZZ_SANITY_LEVEL=3
SMC_FUZZ_CALLS_PER_INSTANCE=10000
SMC_FUZZ_DEFFILE=sdei_and_vendor_smc_calls.txt