drivers: vga_text_buffer: introduce wip driver that doesn't work yet

For some reason, calling terminal_write_char('c'); within
terminal_initialize works, but calling it elsewhere refuses
to work.

1 files changed, 13 insertions, 0 deletions

diff --git a/kernel/libk/strlen.c b/kernel/libk/strlen.c
new file mode 100644
index 0000000..6a37756
--- /dev/null
+++ b/kernel/libk/strlen.c
@@ -0,0 +1,13 @@
+#include <stddef.h>
+
+#include <libk/string.h>
+
+size_t
+strlen(const char* str)
+{
+  size_t len = 0;
+  while (str[len])
+    len++;
+
+  return len;
+}