1 files changed, 4 insertions, 4 deletions
diff --git a/src/kernel/serial.h b/src/kernel/serial.h
index bb12edb..2fb21a6 100644
--- a/src/kernel/serial.h
+++ b/src/kernel/serial.h
@@ -1,14 +1,14 @@
 #ifndef SERIAL_H
 #define SERIAL_H
 
-#include <stdint.h>
 #include <stdbool.h>
+#include <stdint.h>
 
-bool serr();
+bool serr() __attribute__ ((pure));
 void init_serial();
 void sout(char b);
-void soutsz(char *s);
-void soutsn(char *s, uint8_t n);
+void soutsz(const char *s);
+void soutsn(const char *s, uint8_t n);
 char sin();
 void sinsn(char *s, uint8_t n);