Junk code

drivers/vga.c

@@ -11,8 +11,8 @@ static uint cursor_col = 0;
 
 void vga_init() {
 	// Disable cursor
-	// port_outb(0x3d4, 0x0a);
-	// port_outb(0x3d5, 0x20);
+	port_outb(0x3d4, 0x0a);
+	port_outb(0x3d5, 0x20);
 
 	// Clear screen
 	// clear_row(0);

kernel/kernel.c

@@ -49,6 +49,13 @@ void print_kernel_stats() {
 	buf = itoa(MAX_ROWS, buf, 10);
 	println(buf, DEFAULT_COLOR);
 
+	uint ticks = 0;
+	while (true) {
+		set_cursor_pos(0, 20);
+		buf = itoa(ticks/1000000, buf, 10);
+		print(buf, 0x0f);
+		++ticks;
+	}
 
 }