|
@@ -0,0 +1,20 @@
|
|
|
+// 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,
|
|
|
+};
|