// SPDX-License-Identifier: GPL-2.0+
/*
 * sandbox firmware driver
 *
 * Copyright (C) 2018 Xilinx, Inc.
 */

#include <common.h>
#include <dm.h>

static const struct udevice_id generic_sandbox_firmware_ids[] = {
	{ .compatible = "sandbox,firmware" },
	{ }
};

U_BOOT_DRIVER(sandbox_firmware) = {
	.name = "sandbox_firmware",
	.id = UCLASS_FIRMWARE,
	.of_match = generic_sandbox_firmware_ids,
};