// 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, | |
}; |