if PAYLOAD_TIANOCORE

config PAYLOAD_FILE
	string "Tianocore firmware volume"
	default "COREBOOT.fd"
	help
	  The result of a corebootPkg build

endif