Moved strlen to string.h

src/string.c

@@ -22,3 +22,10 @@ void itoa(int n, char s[])
      s[i] = '\0';
      s[i] = '\0';
      //reverse(s);
      //reverse(s);
  }
  }
+
+size_t strlen(const char* str) {
+	size_t ret = 0;
+	while ( str[ret] != 0 )
+		ret++;
+	return ret;
+}

src/string.h

@@ -4,5 +4,6 @@
 
 
 void* memset(void *s, int c, size_t n);
 void* memset(void *s, int c, size_t n);
 void itoa(int n, char s[]);
 void itoa(int n, char s[]);
+size_t strlen(const char* str);
 
 
 #endif
 #endif

src/term.c

@@ -16,13 +16,6 @@ uint16_t make_vgaentry(char c, uint8_t color) {
 	return c16 | color16 << 8;
 	return c16 | color16 << 8;
 }
 }
 
 
-size_t strlen(const char* str) {
-	size_t ret = 0;
-	while ( str[ret] != 0 )
-		ret++;
-	return ret;
-}
-
 static const size_t VGA_WIDTH = 80;
 static const size_t VGA_WIDTH = 80;
 static const size_t VGA_HEIGHT = 25;
 static const size_t VGA_HEIGHT = 25;
 
 

src/term.h

@@ -6,7 +6,7 @@
 
 
 #include <stdint.h>
 #include <stdint.h>
 #include <stddef.h>
 #include <stddef.h>
-
+#include "string.h"
 /* Hardware text mode color constants. */
 /* Hardware text mode color constants. */
 enum vga_color {
 enum vga_color {
 	COLOR_BLACK = 0,
 	COLOR_BLACK = 0,
@@ -29,7 +29,6 @@ enum vga_color {
 
 
 uint8_t make_color(enum vga_color fg, enum vga_color bg);
 uint8_t make_color(enum vga_color fg, enum vga_color bg);
 uint16_t make_vgaentry(char c, uint8_t color);
 uint16_t make_vgaentry(char c, uint8_t color);
-size_t strlen(const char* str);
 
 
 void terminal_initialize();
 void terminal_initialize();
 void terminal_setcolor(uint8_t color);
 void terminal_setcolor(uint8_t color);