1 files changed, 18 insertions, 23 deletions
diff --git a/dev/ddk/src/ddk_io.c b/dev/ddk/src/ddk_io.c
index c0e672bd..ba6d4e55 100644
--- a/dev/ddk/src/ddk_io.c
+++ b/dev/ddk/src/ddk_io.c
@@ -1,37 +1,32 @@
 /* -------------------------------------------
 
-	Copyright Amlal El Mahrouss.
+  Copyright Amlal El Mahrouss.
 
-	Purpose: DDK Text I/O.
+  Purpose: DDK Text I/O.
 
 ------------------------------------------- */
 
 #include <DDKKit/io.h>
 
-DDK_EXTERN void kputc(const char ch)
-{
-	char assembled[2] = {0};
-	assembled[0]	  = ch;
-	assembled[1]	  = 0;
+DDK_EXTERN void kputc(const char ch) {
+  char assembled[2] = {0};
+  assembled[0]      = ch;
+  assembled[1]      = 0;
 
-	ke_call("ke_put_string", 1, assembled, 1);
+  ke_call("ke_put_string", 1, assembled, 1);
 }
 
 /// @brief print string to UART.
 /// @param message UART to transmit.
-DDK_EXTERN void kprint(const char* message)
-{
-	if (!message)
-		return;
-	if (*message == 0)
-		return;
-
-	size_t index = 0;
-	size_t len	 = kstrlen(message);
-
-	while (index < len)
-	{
-		kputc(message[index]);
-		++index;
-	}
+DDK_EXTERN void kprint(const char* message) {
+  if (!message) return;
+  if (*message == 0) return;
+
+  size_t index = 0;
+  size_t len   = kstrlen(message);
+
+  while (index < len) {
+    kputc(message[index]);
+    ++index;
+  }
 }