Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 24b06199ddb9251689407d23f467fc0d487f39d1)
+++ kernel/arch/amd64/src/amd64.c	(revision 5030acadeab877d574032b6cbe0e3a5f0551de90)
@@ -232,4 +232,5 @@
 			indev_t *srln = srln_wire(srln_instance, sink);
 			ns16550_wire(ns16550_instance, srln);
+			trap_virtual_enable_irqs(1 << IRQ_NS16550);
 		}
 	}
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 24b06199ddb9251689407d23f467fc0d487f39d1)
+++ kernel/arch/ia32/src/ia32.c	(revision 5030acadeab877d574032b6cbe0e3a5f0551de90)
@@ -186,4 +186,5 @@
 			indev_t *srln = srln_wire(srln_instance, sink);
 			ns16550_wire(ns16550_instance, srln);
+			trap_virtual_enable_irqs(1 << IRQ_NS16550);
 		}
 	}