1 files changed, 5 insertions, 6 deletions
diff --git a/src/kernel/KernelKit/DebugOutput.h b/src/kernel/KernelKit/DebugOutput.h
index 301a3a9e..0818a712 100644
--- a/src/kernel/KernelKit/DebugOutput.h
+++ b/src/kernel/KernelKit/DebugOutput.h
@@ -25,9 +25,8 @@ inline TerminalDevice hex_number(const Long& x);
 // @brief Emulates a VT100 terminal.
 class TerminalDevice final NE_DEVICE<const Char*> {
  public:
-  TerminalDevice(void (*print)(DeviceInterface*, const Char*),
-                 void (*gets)(DeviceInterface*, const Char*))
-      : DeviceInterface<const Char*>(print, gets) {}
+  TerminalDevice(void (*print)(IDevice*, const Char*), void (*gets)(IDevice*, const Char*))
+      : IDevice<const Char*>(print, gets) {}
 
   ~TerminalDevice() override;
 
@@ -42,9 +41,9 @@ class TerminalDevice final NE_DEVICE<const Char*> {
 
 class Utf8TerminalDevice final NE_DEVICE<const Utf8Char*> {
  public:
-  Utf8TerminalDevice(void (*print)(DeviceInterface*, const Utf8Char*),
-                     void (*gets)(DeviceInterface*, const Utf8Char*))
-      : DeviceInterface<const Utf8Char*>(print, gets) {}
+  Utf8TerminalDevice(void (*print)(IDevice*, const Utf8Char*),
+                     void (*gets)(IDevice*, const Utf8Char*))
+      : IDevice<const Utf8Char*>(print, gets) {}
 
   ~Utf8TerminalDevice() override;