Index: uspace/srv/hid/input/input.c
===================================================================
--- uspace/srv/hid/input/input.c	(revision 5e801dccc49faadcb18cd8ddee6200633e8f11b8)
+++ uspace/srv/hid/input/input.c	(revision 739bc43d0eca287d3ca6926cec2d4a1ccd4ed5b2)
@@ -630,4 +630,7 @@
 	kbd_add_dev(&chardev_port, &stty_ctl);
 #endif
+#if defined(UARCH_arm64) && defined(MACHINE_virt)
+	kbd_add_dev(&chardev_port, &stty_ctl);
+#endif
 	/* Silence warning on abs32le about kbd_add_dev() being unused */
 	(void) kbd_add_dev;
Index: uspace/srv/hid/input/port/chardev.c
===================================================================
--- uspace/srv/hid/input/port/chardev.c	(revision 5e801dccc49faadcb18cd8ddee6200633e8f11b8)
+++ uspace/srv/hid/input/port/chardev.c	(revision 739bc43d0eca287d3ca6926cec2d4a1ccd4ed5b2)
@@ -64,5 +64,7 @@
 	"char/s3c24xx_uart",
 	/** Ski console, MSIM console, Sun4v console */
-	"devices/\\hw\\console\\a"
+	"devices/\\hw\\console\\a",
+	/** PL011 serial console */
+	"devices/\\hw\\uart\\a"
 };