From c49f14920b1ac8a3e6c321db4ac3aa56e332aef3 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Thu, 22 Sep 2016 20:34:43 +0200
Subject: [PATCH] Allow writing to the terminal

---
 kernel/src/terminal.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/kernel/src/terminal.cpp b/kernel/src/terminal.cpp
index 65e4332e..80b1a787 100644
--- a/kernel/src/terminal.cpp
+++ b/kernel/src/terminal.cpp
@@ -264,6 +264,13 @@ size_t stdio::terminal_driver::read(void* data, char* buffer, size_t count, size
 }
 
 size_t stdio::terminal_driver::write(void* data, const char* buffer, size_t count, size_t& written){
+    auto* terminal = reinterpret_cast<stdio::virtual_terminal*>(data);
+
+    for(size_t i = 0; i < count;++i){
+        terminal->print(buffer[i]);
+    }
+
+    written = count;
 
     return 0;
 }