Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 3296df5ebf486ef213eaea03ce982d78f1997fa9)
+++ kernel/arch/amd64/src/amd64.c	(revision 24b06199ddb9251689407d23f467fc0d487f39d1)
@@ -55,4 +55,5 @@
 #include <genarch/kbrd/kbrd.h>
 #include <genarch/srln/srln.h>
+#include <genarch/drivers/dsrln/dsrlnout.h>
 #include <genarch/multiboot/multiboot.h>
 #include <genarch/multiboot/multiboot2.h>
@@ -234,4 +235,14 @@
 	}
 #endif
+
+#ifdef CONFIG_NS16550_DSRLNOUT
+	/*
+	 * Initialize dummy serial output to the ns16550.
+	 */
+	outdev_t *dsrlndev = dsrlnout_init(NS16550_BASE);
+	if (dsrlndev) {
+		stdout_wire(dsrlndev);
+	}
+#endif
 	
 	if (irqs_info != NULL)