Many debugging/serial improvements

Sorry for the little information, but I did many things :)

1 files changed, 4 insertions, 3 deletions

diff --git a/src/userspace/main.c b/src/userspace/main.c
index 982a5ff..62bdc4e 100644
--- a/src/userspace/main.c
+++ b/src/userspace/main.c
@@ -1,6 +1,6 @@
 #include <syscall.h>
 #include <mlibc/stdio.h>
-#include <mlibc/string.h>
+#include <mlibc/stdlib.h>
 
 int32_t starts_with(const char *a, const char *b)
 {
@@ -11,10 +11,11 @@ int32_t starts_with(const char *a, const char *b)
 
 void user_main()
 {
-    printf("> Successfully switched to usermode!");
+    char text[] = "> Successfully switched to usermode!\n";
+    printf(text);
 
     // init_framebuffer();
-    writec((char) strlen("aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"));
+    // writec((char) strlen("aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"));
 
     while (1) {
         char *input = readline();