From a9831c1038ca41d2d891ed52c37dca18be1c0b03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Mon, 4 Dec 2017 22:07:39 +0100
Subject: [PATCH] A macro for debug printing

---
 src/kernel/include/debug.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/kernel/include/debug.h b/src/kernel/include/debug.h
index c4950b8..6c8191e 100644
--- a/src/kernel/include/debug.h
+++ b/src/kernel/include/debug.h
@@ -2,6 +2,8 @@
 #include <stddef.h>
 #include <stdarg.h>
 
+#define debug(...) debug_printf(__VA_ARGS__)
+
 void debug_putch(char c);
 void debug_putsn(char *s, size_t n);
 void debug_puts(char *s);