kernel: implement printk

3 files changed, 13 insertions, 7 deletions

diff --git a/kernel/include/drivers/vga_text_buffer.h b/kernel/include/driver/vga_text_buffer.h
index bc81fc4..39597d3 100644
--- a/kernel/include/drivers/vga_text_buffer.h
+++ b/kernel/include/driver/vga_text_buffer.h
@@ -2,6 +2,7 @@
 #define __drivers_vga_text_buffer_h
 
 #include <stdint.h>
+#include <stdbool.h>
 
 #define VGA_WIDTH 80
 #define VGA_HEIGHT 25
@@ -26,12 +27,10 @@ typedef enum {
     VGA_COLOR_WHITE = 15,
 } vga_color;
 
-uint8_t vga_entry_color(vga_color fg, vga_color bg);
-uint16_t vga_entry(unsigned char character, uint8_t color);
+bool vga_text_buffer_is_initialized(void);
 
-void terminal_initialize(void);
-void terminal_write_entry_at(char c, uint8_t color, uint8_t x, uint8_t y);
-void terminal_write_char(char c);
-void terminal_write_string(char *data);
+void vga_text_buffer_initialize(void);
+void vga_text_buffer_write_char(char c);
+void vga_text_buffer_write_string(char *data);
 
 #endif
diff --git a/kernel/include/libk/io.h b/kernel/include/libk/io.h
new file mode 100644
index 0000000..4de1af9
--- /dev/null
+++ b/kernel/include/libk/io.h
@@ -0,0 +1,6 @@
+#ifndef __libk_io_h
+#define __libk_io_h
+
+void printk(char *);
+
+#endif
diff --git a/kernel/include/libk/string.h b/kernel/include/libk/string.h
index cea73cc..7ec7adc 100644
--- a/kernel/include/libk/string.h
+++ b/kernel/include/libk/string.h
@@ -3,6 +3,7 @@
 
 #include <stddef.h>
 
-size_t strlen(const char *str);
+size_t strlen(const char *);
+char *strcat(char *, const char *);
 
 #endif