Ethdriver: Add support for Odroid C2

This commit adds the necessary platform definitions for Ethdriver for
the Odroid C2.

components/Ethdriver/include/plat/odroidc2/plat/eth_devices.h

diff --git a/components/Ethdriver/include/plat/odroidc2/plat/eth_devices.h b/components/Ethdriver/include/plat/odroidc2/plat/eth_devices.h
new file mode 100644
index 0000000..b36c0c8
--- /dev/null
+++ b/components/Ethdriver/include/plat/odroidc2/plat/eth_devices.h
@@ -0,0 +1,30 @@
+/*
+ * Copyright 2019, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the GNU General Public License version 2. Note that NO WARRANTY is provided.
+ * See "LICENSE_GPLv2.txt" for details.
+ *
+ * @TAG(DATA61_GPL)
+ */
+#pragma once
+#include <camkes-fdt-bind-driver.h>
+
+#define HARDWARE_ETHERNET_EXTRA_IMPORTS
+
+#define HARDWARE_ETHERNET_COMPONENT
+
+#define HARDWARE_ETHERNET_INTERFACES                            \
+    consumes Dummy EthDriver;                                   \
+    emits Dummy dummy_source;                                   \
+    fdt_bind_drivers_interfaces(["/soc/ethernet@c9410000"]);
+
+#define HARDWARE_ETHERNET_COMPOSITION                                                         \
+    connection seL4DTBHardwareThreadless ethernet_conn(from dummy_source, to EthDriver);      \
+    fdt_bind_driver_connections();
+
+#define HARDWARE_ETHERNET_CONFIG                                \
+    EthDriver.dtb = dtb({ "path" : "/soc/ethernet@c9410000" }); \
+    EthDriver.generate_interrupts = 1;