1 files changed, 4 insertions, 0 deletions
diff --git a/kc/core/kprint.c b/kc/core/kprint.c
index 0a15efd..2f4da01 100644
--- a/kc/core/kprint.c
+++ b/kc/core/kprint.c
@@ -1,11 +1,15 @@
 #include "kprint.h"
 #include "serial.h"
 
+#include <stdarg.h>
+
+__attribute__((optimize("O3")))
 int kputchar(int c)
 {
     return serial_putchar(c);
 }
 
+__attribute__((optimize("O3")))
 int kputs(const char *s)
 {
     while (*s)