keyboard driver and threads

* PS/2 keyboard driver
* interactive shell
* move away from \0 terminated strings to sized slices
* coroutine threads and IRQ queues

1 files changed, 5 insertions, 4 deletions

diff --git a/stage3/font.h b/stage3/font.h
index ec99118..400fb3d 100644
--- a/stage3/font.h
+++ b/stage3/font.h
@@ -8,10 +8,11 @@ void font_set_size(u16 size);
 void font_load_blob(const void *blob);
 void font_load_classic();
 
-void print(const char *line);
-void printn(const char *line, usize len);
+void print(str line);
 void print_char(char c);
-void print_num(u64 x, u8 base, u8 pad_len);
-void print_padded(u64 x, u8 base, u8 pad_len, char pad_char);
+void print_dec(u64 x);
+void print_hex(u64 x);
+void print_num(u64 x, u8 base);
+void print_num_pad(u64 x, u8 base, u8 pad_len, char pad_char);
 
 #endif