From 1f43d7bc85a014a7a5a706748dc3658f57ede499 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20N=C3=BCcke?= <florian@nuecke.de>
Date: Thu, 24 Sep 2020 13:28:47 +0200
Subject: [PATCH] Add name for VirtIO devicetree provider.

---
 .../circuity/vm/devicetree/provider/VirtIOProvider.java    | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main/java/li/cil/circuity/vm/devicetree/provider/VirtIOProvider.java b/src/main/java/li/cil/circuity/vm/devicetree/provider/VirtIOProvider.java
index f9f3c7e5..d2406298 100644
--- a/src/main/java/li/cil/circuity/vm/devicetree/provider/VirtIOProvider.java
+++ b/src/main/java/li/cil/circuity/vm/devicetree/provider/VirtIOProvider.java
@@ -6,9 +6,16 @@ import li.cil.circuity.api.vm.devicetree.DeviceTree;
 import li.cil.circuity.api.vm.devicetree.DeviceTreePropertyNames;
 import li.cil.circuity.api.vm.devicetree.DeviceTreeProvider;
 
+import java.util.Optional;
+
 public final class VirtIOProvider implements DeviceTreeProvider {
     public static final DeviceTreeProvider INSTANCE = new VirtIOProvider();
 
+    @Override
+    public Optional<String> getName(final Device device) {
+        return Optional.of("virtio");
+    }
+
     @Override
     public void visit(final DeviceTree node, final MemoryMap memoryMap, final Device device) {
         node.addProp(DeviceTreePropertyNames.COMPATIBLE, "virtio,mmio");