print input in terminal read, make kbd loop nicer

kernel/Devices/keyboard.c

@@ -92,7 +92,9 @@ uint32_t keyboard_handle_irq()
 
 uint8_t keyboard_get_key()
 {
-	while (!flag);
+	while (!flag) {
+		asm volatile ("hlt");
+	}
 	flag = 0;
 
 	return last_key;

kernel/Devices/terminal.c

@@ -8,6 +8,7 @@ int32_t terminal_read(int32_t fd, void* buf, int32_t nbytes){
 	int bytes_read = 0;
 	while (bytes_read < nbytes) {
 		uint8_t key = keyboard_get_key();
+		putc(key);
 		if (key == '\n') {
 			*((uint8_t*)buf + bytes_read) = '\0';
 			break;